Architecture driven modeling in software development extended abstract

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

Volumn , Issue , 2004, Pages 3-12

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ANIMATION; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; DATA REDUCTION; DATA STRUCTURES; EMBEDDED SYSTEMS; MATHEMATICAL MODELS;

COMPOSED SYSTEMS; DESCRIPTION TECHNIQUES; META MODEL; MULTI-FUNCTIONAL SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

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

References (23)

1. J.C.M. Baeten, J. Bergstra: Process Algebras with Signals and Conditions. In: M. Broy (ed.): Programming and Mathematical Method. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 88, 1992, 273-324
2. G. Booch: Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA, 1991
3. M. Broy: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 1991, 21-57
4. M. Broy: Refinement of Time. M. Bertran, Th. Rus (eds.): Transformation-Based Reactive System Development. ARTS'97, Mallorca 1997. Lecture Notes in Computer Science 1231, 1997, 44-63, To appear in TCS
5. M. Broy, C. Hofmann, I. Krüger, M Schmidt: A Graphical Description Technique for Communication in Software Architectures. Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC'97/ICSC'97)
6. M. Broy, K. Stølen: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer 2001
7. G. Berry, G. Gonthier: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. INRIA, Research Report 842, 1988
8. D. Harel: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 1987, 231-274
9. R. Hettler: Zur Übersetzung von E/R-Schemata nach SPECTRUM. Technischer Bericht TUM-I9409, TU München, 1994
10. C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall, 1985
11. I. Jacobsen: Object-Oriented Software Engineering. Addison-Wesley, ACM Press 1992
12. G. Kahn: The Semantics of a Simple Language for Parallel Processing. In: J.L. Rosenfeld(ed.): Information Processing 74. Proc. of the IFIP Congress 74, Amsterdam: North Holland 1974, 471-475.
13. R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science 92, Springer 1980
14. ITU-T (previously CCITT) (March 1993) Criteria for the Use and Applicability of Formal Description Techniques. Recommendation Z. 120, Message Sequence Chart (MSC), 35pgs.
15. ITU-T. Recommendation Z.120, Annex B: Algebraic Semantics of Message Sequence Charts. ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 1995.
16. B. Selic, G. Gullekson. P.T. Ward: Real-time Objectoriented Modeling. Wiley, New York 1994
17. J. Rumbaugh: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs: New Jersey 1991
18. B. Rumpe: Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Ph.D. Thesis Technische Universität München, Fakultät für Informatik 1996. Published by Herbert Utz Verlag
19. Specification and Description Language (SDL), Recommendation Z.100. Technical Report, CCITT, 1988
20. M. Broy, C. Facchi, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, K. Stølen: The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part I/II Technische Universität München, Institut für Informatik, TUM-I9311 / TUM-I9312, May 1993
21. G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation
22. P. Zave, M. Jackson: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, January 1997
23. F. Huber, B. Schätz, G. Einert: Consistent Graphical Specification of Distributed Systems. In: J. Fitzgerald, C. B. Jones, P. Lucas (ed.): FME '97: 4th International Symposium of Formal Methods Europe, Lecture Notes in Computer Science 1313, 1997, 122-141