Checking timing constraints in software system using AOP

51 405 0
Checking timing constraints in software system using AOP

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

. Cheeking timing constraints in software system using AOP D o T u a n A n h Faculty of Information Technology College of Technology Vietnam. t o o l 36 4.2.1 D ifficulties in rea d in g tim in g co n stra int from th e T im in g D i a g r a m 36 4.2.2 Aspect.) co de for checking tim ing c o n s t ra in ts 37 4.2.3 So m e resu lts. tting c o nce rn s in as p e c ts in s te a d of fusing t h e m in the co re m odules. An aspect weaver, w hich is a com piler-like entity, co m po s es the final sy s te m by co m b in in

Ngày đăng: 25/03/2015, 09:46

Từ khóa liên quan

Mục lục

  • Table of Contents

  • List of Figures

  • 1.1 Motivation

  • 1.2 Objectives

  • 1.3 Contributions

  • 1.4 Outline of the thesis

  • 2.1 UML and UML Timing Diagram

  • 2.1.1 Overview of UML

  • 2.1.2 UML Timing Diagram

  • 2.2 Aspect Oriented Programming and AspectJ

  • 2.2.1 Aspect Oriented Programming

  • 2.2.2 Aspe ctJ

  • 2.2.3 Remarks

  • 2.3 Summary

  • 3.2.1 The order of events

  • 3.2.2 Reading timing constraint in specification

  • 3.2.3 Calculating execution time from implementation

  • 3.3 Case studies

  • 3.3.1 Automated Teller Machine for banking purpose

  • 3.3.2 Taking off process of an airplane

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan