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

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