Software architecture modeling & analysis: A rigorous approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2804, Issue , 2003, Pages 44-51

  Kramer, Jeff ^a   Magee, Jeff ^a   Uchitel, Sebastian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; FLOWCHARTING; FORMAL METHODS;

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURAL LEVELS; INDIVIDUAL COMPONENTS; LABELLED TRANSITION SYSTEMS; LINEAR TEMPORAL LOGIC; MESSAGE SEQUENCE CHARTS; SOFTWARE ARCHITECTURE MODEL; STRUCTURAL INFORMATION;

SOFTWARE ARCHITECTURE;

EID: 33644517029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_3     Document Type: Article

References (12)

1. S. C. Cheung and J. Kramer, Checking Safety Properties Using Compositional Reachability Analysis, ACM Transactions on Software Engineering and Methodology, Vol. 8, No. 1, pp. 49-78, 99.
2. D. Giannakopoulou and J. Magee, Fluent Model-checking for Event-based Systems, ESEC/FSE, Helsinki, Sept. 2003.
3. D. Giannakopoulou, J. Magee and J. Kramer, Checking Progress with Action Priority: Is it Fair?, 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'99), Toulouse, France, 1687, pp. 511-527, September 1999.
4. J. Kramer and J. Magee, Exposing the Skeleton in the Coordination Closet, Coordination'97, Second International Conference on Coordination Models and Languages, Berlin, Germany, 1282, pp. 18-31, September 1997.
5. J. Magee, N. Dulay, S. Eisenbach and J. Kramer, Specifying Distributed Software Architectures, 5th European Software Engineering Conference (ESEC'95), Sitges, Spain, 989, pp. 137-153, September 1995.
6. J. Magee, N. Dulay and J. Kramer, Regis: A Constructive Development Environment for Parallel and Distributed Programs, Distributed Systems Engineering Journal, Special Issue on Configurable Distributed Systems, Vol. 1, No. 5, pp. 304-312, 94.
7. J. Magee and J. Kramer, Concurrency - State Models & Java Programs, Chichester, John Wiley & Sons, 1999.
8. J. Magee, J. Kramer, D. Giannakopoulou and N. Pryce, Graphical Animation of Behavior Models, 22nd International Conference on Software Engineering (ICSE'00), Limerick, pp. 499-508, June 2000.
9. K. Ng, J. Kramer and J. Magee, Automated Support for the Design of Distributed Systems, Journal of Automated Software Engineering (JASE), Vol. 3, No. 4, pp. 261-284, 1996.
10. S. Uchitel, J. Kramer and J. Magee, Detecting Implied Scenarios in Message Sequence Chart Specifications, Joint 8th European Software Engineering Conference (ESEC'01) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'01), Vienna, pp. 74-82.
11. S. Uchitel, J. Kramer and J. Magee, Synthesis of Behavioural Models from Scenarios, IEEE Transactions on Software Engineering, Vol. 29, No. 2, pp. 99-115, 2003.
12. R. vanOmmering, Koala, a Component Model for Consumer Electronics Product Software, Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, 1429, pp. 76-85, February 26-27, 1998.