Text this: Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

  _____     ______    _  _    __   __   __   __  
 / ____||  /_   _//  | \| ||  \ \\/ //  \ \\/ // 
/ //---`'   -| ||-   |  ' ||   \ ` //    \   //  
\ \\___     _| ||_   | .  ||    | ||     / . \\  
 \_____||  /_____//  |_|\_||    |_||    /_//\_\\ 
  `----`   `-----`   `-` -`     `-`'    `-`  --`