Aspect-oriented specification architectures for distributed real-time systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2001, Pages 180-190

  Katara, M ^a   Mikkonen, T ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

DisCo; Distributed; Real time; Specification

Indexed keywords

COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

ASPECT ORIENTED SPECIFICATION ARCHITECTURES; DISTRIBUTED REAL TIME SYSTEMS; OBJECT ORIENTED SOFTWARE SYSTEMS;

COMPUTER ARCHITECTURE;

EID: 0034872890     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. On the codesign of aspects and objects
2. DisCo toolset - The new generation
3. An old-fashioned recipe for real time
4. A practical approach to object-oriented state modeling
5. Distributed cooperation with action systems
6. Decentralization of process nets with centralized control
7. Subject-oriented design: Towards improved alignment of requirements, design, and code
8. Idioms and patterns as architectural literature
9. Termination detection for diffusing computations
10. The design of a specification language for reactive systems
11. Object-oriented specification of reactive systems
12. Design approach for real-time reactive systems
13. Aspects and superimpositions
14. Modeling distributed state as an abstract object
15. Separating product variance and domain concepts in the specification of software product lines
16. Aspect-oriented programming
17. Fundamentals of object-oriented specification and modeling of collective behaviors
18. Logical layers in specifications with distributed objects and real time
19. Liberating object-oriented modeling from programming-level abstractions
20. Harnessing the power of interaction
21. Protocol verification via projections
22. The temporal logic of actions
23. Composition: A way to make proofs harder
24. D: A language framework for distributed programming
25. Mathematical foundations of software engineering: A roadmap
26. A development cycle for dependable reactive systems
27. The two dimensions of an architecture
28. Dynamic end-to-end guarantees in distributed real time systems
29. Multi-dimensional separation of concerns and the hyperspace approach
30. N degrees of separation: Multi-dimensional separation of concerns
31. Program slicing