Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP
Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP
Checking timing constraints in software system using A OPDo Tuan Anil1'acuhy <)l Information ieclniologt College ot ledmologyVietnam National Universi Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP ity. HanoiSupervised by Dr. Truong Ninli ThnanA thesis submitted in fulfillment of the requirements for the degree of Master of Information TechnologyDecember. 20099AI HOC Quoc GIA HÃ NÓI TRUNG TÂM THỐNG Tin ĨHƯ VIỆNArLq/j&Fable of ContentsIntroductionI1.1Motivation.................................. Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP ................ 11.2Objectives.................................................. 21.3Contributions............................................... 31.Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP
4OutlineOÍ thethesis........................................ 3Background52.1ƯML ami I MLTiming Diagram................................. 52.1.1OverviewChecking timing constraints in software system using A OPDo Tuan Anil1'acuhy <)l Information ieclniologt College ot ledmologyVietnam National Universi Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP t Oriented Programming........................ 82.21.1Terminology................................... 92.21.2Implementation............................... 1022.13Some limitations of OOP ..................... 112.21.4Benefits of AOP...............................1422.2Aspect J ...................... Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP ..................... 162.2.3Remarks............................................. 172.3Summary ................................................... 18CLuận văn thạc sĩ VNU UET checking timing constraints in software system using AOP
hecking the conformance of timing constraints193.1Generating verification aspects to check the conformance... 193.2Achieving time from specification aChecking timing constraints in software system using A OPDo Tuan Anil1'acuhy <)l Information ieclniologt College ot ledmologyVietnam National Universi Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP Order of events in several applications.......223.2.2Reading timing constraint in spec iliv.ition ........233-2.3 Calc ulating execution time from implementation......25iv Luận văn thạc sĩ VNU UET checking timing constraints in software system using AOP Checking timing constraints in software system using A OPDo Tuan Anil1'acuhy <)l Information ieclniologt College ot ledmologyVietnam National UniversiGọi ngay
Chat zalo
Facebook