A core theory of interfaces and architecture and its impact on object orientation

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

Volumn 3938 LNCS, Issue , 2006, Pages 26-47

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; INTERFACES (COMPUTER); MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

MODEL INTERFACES; OBJECT ORIENTED SOFTWARE SYSTEMS; STATE ASSERTIONS; STATE MACHINES;

COMPUTER ARCHITECTURE;

EID: 33746077704     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11786160_2     Document Type: Conference Paper

References (17)

1. L. de Alfaro, T. A. Henzinger: Interface-Based Design. In: Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer (2004)
2. M. Broy, C. Hofmann, I. Kr̈ger, M Schmidt: A Graphical Description Technique for Communication in Software Architectures. In: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ ICSC'97)
3. M. Broy, K. Stølen: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer (2001)
4. D. Herzberg, M. Broy: Modelling Layered Distributed Communication Systems. To appear
5. H.-A. Jucobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions. TOOLS Pacific 2000, Sydney, (November 2000) 242-252
6. I. Krüger, R. Grosu, P. Scholz., M. Broy: From MSCs to stateeharts. In: Proceedings of DIPES'98, Kluwer (1999)
7. B. Meyer: Object-oriented Software Construction, Prentice Hall (1988)
8. D. Parnas: On the criteria to be used to decompose systems into modules. Comm. ACM 15, (1972) 1053-1058
9. P. Müller, A. Poetzsch-Heffter: Modular Specification and Verification Techniques for Object-Oriented Software Components. In: Leavens, G. T. and Situraman, M. (eds.): Foundations of Component-Based Systems, Cambridge University Press (2000)
10. Oscar Nierstrasz: Regular Types for Active Objects. OOPSLA 1993: 1-15
11. A. Poetzsch-Heffter: Specification and Verification of Object-Oriented Programs. Habilitation thesis, Technical University of Munich (1997)
12. R. H. Reussner, H. W. Schmidt, I. Poernomo: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software - Special Issue of Software Architecture - Engineering Quality Attributes, 3:66 (2003) 241-252
13. B. Selic, G. Gullekson. P.T. Ward: Real-time Objectoriented Modeling. Wiley, New York (1994)
14. M. Spivey: Understanding Z - A Specification Language and Its Formal Semantics. Cambridge Tracts in Theoretical Computer Science 3, Cambridge University Press (1988)
15. P. Wegner, S. B. Zdonik: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. In Proceedings ECOOP '88, ed. S. Gjessing and K. Nygaard, Lecture Notes in Computer Science 322, Springer-Verlag, Oslo, Aug. 15-17 (1988) 55-77.
16. G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation
17. Daniel M. Yellin, Robert E. Strom: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2) (1997) 292-333