Towards a mathematical concept of a component and its use

Software-Concepts and Tools

Volumn 18, Issue 3, 1997, Pages 137-148

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Component; Componentware; Interoperability; Semantic model

Indexed keywords

EID: 0006997936     PISSN: 09458115     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Short Survey

References (19)

1. Boehm BW (1988) The Spiral Model of Software Development and Enhancement. IEEE Computer 21:5, 61-72
2. Booch G (1991) Object Oriented Design with Applications. The Benjamin Comings Publishing Company
3. Broy M (1983) Applicative Real Time Programming. In: Information Processing 83, IFIP World Congress, North Holland Publ. Company, 259-264
4. Broy M (1987) Specification and Top-Down Design of Distributed Systems. In: Ehrig H, et al. (eds.) Formal Methods and Software Development. Lecture Notes in Computer Science 186, Springer-Verlag 1985, 4-28, Revised version in JCSS 34:2/3, 236-264
5. Broy M (1986) A Theory for Nondeterminism, Parallelism, Communication and Concurrency. Habilitation, Fakultät für Mathematik und Informatik der Technischen Universität München, 1982, Revised version in: Theoretical Computer Science 45, 1-61
6. Broy M (1987) Semantics of Finite or Infinite Networks of Communicating Agents. Distributed Computing 2, 13-31
7. Broy M (1987) Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25, 93-101
8. Broy M (January 1993) Functional Specification of Time Sensitive Communicating Systems. REX Workshop. ACM Transactions on Software Engineering and Methodology 2:1, 1-46
9. Broy M (1995) Mathematical System Models as a Basis of Software Engineering. van Leeuwen J (ed.) Computer Science Today. Lecture Notes of Computer Science 1000, Springer-Verlag, 292-306
10. Broy M (1996) Algebraic Specification of Reactive Systems. Nivat M, Wirsing M (eds) Algebraic Methodology and Software Technology. 5th International Conference, AMAST '96, Lecture Notes of Computer Science 1101, Springer-Verlag, 487-503
11. Broy M, Stølen K (1994) Specification and Refinement of Finite Dataflow Networks - a Relational Approach. In: Langmaack H, de Roever W-P, Vytopil J (eds) Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 247-267
12. Hoare CAR (1985) Communicating Sequential Processes. Prentice Hall
13. Kahn G, MacQueen D (1997) Coroutines and Networks of Processes. Proc. IFIP World Congress, 993-998
14. Klein C, Rumpe B, Broy M (1996) A Stream-Based Mathematical Model for Distributed Information Processing Systems - SysLab System Model. In: Naijm E, Stefani J-B (ed.) FMOODS'96 - Formal Methods for Open Object-based Distributed Systems. ENST France Telecom, 323-338
15. Lynch N, Stark E (1989) A Proof of the Kahn Principle for Input/Output Automata. Information and Computation 82, 81-92
16. Lynch NA, Tuttle MR (1987) Hierarchical Correctness Proofs for Distributed Algorithms. In: Proceedings of the Sixth ACM Symposium on Principles of Distributed Computing Publisher
17. Park D (1980) On the Semantics of Fair Parallelism. In: Bjömer D (ed.) Abstract Software Specification. Lecture Notes in Computer Science 86, Springer-Verlag, 504-526
18. Park D (1983) The "Fairness" Problem and Nondeterministic Computing Networks. Proc. 4th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathematisch Centrum Amsterdam, 133-161
19. Das Bundesministerium des Inneren (August 1992) Planung und Durchführung von IT-Vorhaben - Vorgehensmodell