Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models
➤ 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 the comformance between the implementation and PSM specifications in component models
Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models
Checking the Conformance between the Implementation and PSM Specifications in Component Modelsw -DẠIÍIcôngIPham Van VietFaculty of Information Technol Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models logyCollege of TechnologyVietnam National University, HanoiSupervised by Dr. Truong Ninh ThuanA thesis submitted in fulfillment of the requirements for the degree of Master of Information Technology December, 2009ĐAI HỌC QUỐC G1A HẢ Nồi ĨPUN^ TÁM THÔNG TIN THƯ VlẻNTable of Contents1Introduction11.1M Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models otivation..................................................... 11.2Objectives..................................................... 31.3Contributions..Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models
................................................ 31.4Thesis st ruct ure............................................. 32Background52.1Software verificaChecking the Conformance between the Implementation and PSM Specifications in Component Modelsw -DẠIÍIcôngIPham Van VietFaculty of Information Technol Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models ........................ 62.1.3Intermediate prograin representation..................... 62.2Component-based software engineering........................... 72.2.1An overview.............................................. 72.2.2Component................................................ 82.2.3Component Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models model ......................................... 92.3Three-tier architectures and EJB.............................. 102.3.1Three-tier architecture....Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models
............................. 102.3.2Java EE architecture.................................... 122.3.3Enterprise Beans.................................Checking the Conformance between the Implementation and PSM Specifications in Component Modelsw -DẠIÍIcôngIPham Van VietFaculty of Information Technol Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models eral elements of ƯML................................. 162.4.3Protocol State Machine.................................. 183Checking consistency between the implementation and PSM specification203.1Transforming PSM to a graph expression.........................203.2Generating the CFG from Bytecode stre Luận văn thạc sĩ VNU UET checking the comformance between the implementation and PSM specifications in component models ams.......................23iiChecking the Conformance between the Implementation and PSM Specifications in Component Modelsw -DẠIÍIcôngIPham Van VietFaculty of Information TechnolChecking the Conformance between the Implementation and PSM Specifications in Component Modelsw -DẠIÍIcôngIPham Van VietFaculty of Information TechnolGọi ngay
Chat zalo
Facebook