{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T04:56:08Z","timestamp":1754110568778},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:43:53Z","timestamp":1330278233000},"page":"18-48","source":"Crossref","is-referenced-by-count":7,"title":["Mathematics of software engineering"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"3_CR1","unstructured":"J.R. Abrial: On Constructing Large Software Systems. In: J. van Leeuwen (ed.): Algorithms, Software, Architecture, Information Processing 92, Vol. I, 103\u2013119"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61807-9","volume-title":"Algorithmic language and program development","author":"F.L. Bauer","year":"1982","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmic language and program development, Berlin: Springer, 1982"},{"key":"3_CR3","unstructured":"M. v. d. Beeck: A Comparison of State Charts Variants. In: H. Langmaack, W.-P. de Roever, J. Vytopil (eds): Formal Techniques in Real Time and Fault-Tolereant Systems. Lecture Notes in Computer Science 863, 1994, 128\u2013148"},{"key":"3_CR4","volume-title":"Object Oriented Design with Applications","author":"G. Booch","year":"1991","unstructured":"G. Booch: Object Oriented Design with Applications. Benjamin Cummings, Redwood City, CA, 1991"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"R.S. Boyer, J.S. Moore: The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its Theorem Prover. In: M. Broy (Hrsg.): Constructive Methods in Computing Science. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 55, 1989, 95\u2013145","DOI":"10.1007\/978-3-642-74884-4_4"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0167-6423(88)90016-0","volume":"10","author":"M. Broy","year":"1988","unstructured":"M. Broy: Nondeterministic data flow programs: how to avoid the merge anomaly. Science of Computer Programming 10 (1988), 65\u201385","journal-title":"Science of Computer Programming"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF01211434","volume":"3","author":"M. Broy","year":"1991","unstructured":"M. Broy: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3, 21\u201357 (1991)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR8","first-page":"319","volume-title":"Formalisation of distributed, concurrent, reactive systems","author":"M. Broy","year":"1991","unstructured":"M. Broy: Formalisation of distributed, concurrent, reactive systems. In: E.J. Neuhold, M. Paul (eds.): Formal Description of Programming Concepts. IFIP W.G. 2.2 advanced seminar, Rio de Janeiro 1989. Berlin: Springer, 1991, 319\u2013361"},{"key":"3_CR9","unstructured":"M. Broy: Experiences with Software Specification and Verification Using LP, the Larch Proof Assistent. DIGITAL Systems Research Center, SRC 93, 1992"},{"key":"3_CR10","series-title":"Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-662-02880-3_5","volume-title":"Program Design Calculi","author":"M. Broy","year":"1993","unstructured":"M. Broy: (Inter-)Action Refinement: The Easy Way. In: Broy, M. (ed.): Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, Vol. 118, pp. 121\u2013158, Berlin, Heidelberg, New York: Springer 1993"},{"key":"3_CR11","unstructured":"M. Broy: Specification and Refinement of a Buffer of Length One. Marktoberdorf Summer School 1994"},{"key":"3_CR12","unstructured":"M. Broy: A Functional Rephrasing of the Assumption\/Commitment Specification Style. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9417, June 1994"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science 906","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0015452","volume-title":"Recent Trends in Data Types Specification","author":"M. Broy","year":"1995","unstructured":"M. Broy: Equations for Describing Dynamic Nets of Communicating Systems. In: E. Astesiano, G. Reggio, A. Tarlecki (eds): Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May\/June 1994 Lecture Notes in Computer Science 906, Springer 1995"},{"key":"3_CR14","volume-title":"Lecture Notes in Computer Science 907","author":"M. Broy","year":"1995","unstructured":"M. Broy: Advanced Component Interface Specification. In: Takayasu Ito, Akinori Yonezawa (Eds.). Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7\u20139, 1994, Proceedings, Lecture Notes in Computer Science 907, Springer 1995"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"M. Broy, C. Dendorfer. K. St\u00f8len: HOPSA \u2014 High Level Programming Language for Parallel Computations. P.P. Spies (ed): EuroArch 93, Springer 1993, 636\u2013646","DOI":"10.1007\/978-3-642-78565-8_51"},{"key":"3_CR16","unstructured":"M. Broy, L. Lamport: Specification Problem. http:\/\/www.research.digital.com\/SRC\/personal\/Leslie_Lamport\/dagstuhl\/all.html"},{"key":"3_CR17","unstructured":"M. Broy, K. St\u00f8len: Specification and Refinement of Finite Dataflow Networks \u2014 a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 1994, 247\u2013267"},{"key":"3_CR18","series-title":"NATO ASI Series. Series F: 8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-642-46490-4_18","volume-title":"Program Transformation and Programming Environments","author":"M. Broy","year":"1984","unstructured":"M. Broy: Algebraic methods for program construction: The project CIP. SOFSEM 82, also in: P. Pepper (ed.): Program Transformation and Programming Environments. NATO ASI Series. Series F: 8. Berlin-Heidelberg-New York-Tokyo: Springer 1984, 199\u2013222"},{"key":"3_CR19","unstructured":"P. Coad, E. Yourdon: Object-oriented Analysis. Prentice Hall International Editions 1991"},{"key":"3_CR20","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1979","unstructured":"T. DeMarco: Structured Analysis and System Specification. Yourdan Press, New York, NY, 1979"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"E. Denert: Software-Engineering. Springer 1991","DOI":"10.1007\/978-3-642-84343-3"},{"key":"3_CR22","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra: A Discipline of Programming. Englewood Cliffs: Prentice-Hall 1976"},{"key":"3_CR23","unstructured":"Ch. Facchi: Methodik zur formalen Spezification des ISO\/OSI-Schichtenmodells. Dissertation, Fakult\u00e4t fur Informatik, Technische Universit\u00e4t M\u00fcnchen, to appear"},{"key":"3_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"R.W. Floyd: Assigning Meanings to Programs. Proc. of Symposia in Applied Mathematics of the Amer. Math. Soc. 19, 1967, 19\u201332","journal-title":"Proc. of Symposia in Applied Mathematics of the Amer. Math. Soc."},{"key":"3_CR25","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber: The Design of Distributed Systems \u2014 an Introduction to FOCUS. Technical University Munich, Institute of Computer Science, TUM-I9203, Januar 1992, see also: Summary of Case Studies in FOCUS \u2014 a Design Method for Distributed Systems. Technical University of Munich, Institute for Computer Science, TUM-I9203, Januar 1992"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"D. Garlan, M. Shaw: An Introduction To Software Architecture. In: Advances in Software Engineering and Knowledge Engineering. 1993","DOI":"10.1142\/9789812798039_0001"},{"key":"3_CR27","unstructured":"GRAPES-Referenzmanual, DOMINO, Integrierte Verfahrenstechnik. Siemens AG, Bereich Daten-und Informationstechnik 1990"},{"key":"3_CR28","unstructured":"R. Grosu: A formal foundation for concurrent object-oriented programming. Dissertation, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, December 94"},{"key":"3_CR29","unstructured":"R. Grosu, K. St\u00f8len, M. Broy: A Denotational Model for Mobile Data Flow Networks. To appear"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"J.V. Guttag, J.J. Horning: A Larch Shared Language Handbook. Springer 1993","DOI":"10.1007\/978-1-4612-2704-5_4"},{"key":"3_CR31","unstructured":"R. Hettler: Zur \u00dcbersetzung von E\/R-Schemata nach Spectrum. Technischer Bericht TUM-19409, TU M\u00fcnchen, 1994"},{"key":"3_CR32","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"C.A.R. Hoare: An Axiomatic Approach to Computer Programming. Comm. ACM 12, October 1969, 576\u2013580, 583","journal-title":"Comm. ACM"},{"key":"3_CR33","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-642-51136-3_4","volume-title":"Innovationen bei Rechen-und Kommunikationssystemen, Informatik aktuell","author":"H. Hu\u00dfmann","year":"1994","unstructured":"H. Hu\u00dfmann: Formal foundation of pragmatic software engineering methods. In: B. Wolfinger(ed.): Innovationen bei Rechen-und Kommunikationssystemen, Informatik aktuell, Berlin: Springer, 1994, 27\u201334"},{"key":"3_CR34","unstructured":"H. Hu\u00dfmann: Formal Foundations for SSADM. Technische Universit\u00e4t M\u00fcnchen, Fakult\u00e4t f\u00fcr Informatik, Habilitationsschrift 1995"},{"key":"3_CR35","unstructured":"C.B. Jones: Systematic Program Development Using VDM. Prentice Hall 1986"},{"volume-title":"Korrekte Software durch formale Methoden","year":"1993","key":"3_CR36","unstructured":"M. Broy, S. J\u00e4hnichen (Hrsg.): Korrekte Software durch formale Methoden. GMD Karlsruhe 1993"},{"key":"3_CR37","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1038\/352467a0","volume":"352","author":"D. MacKenzie","year":"1991","unstructured":"D. MacKenzie: The Fangs of the VIPER. Nature Vol. 352, 1991, 467\u2013468","journal-title":"Nature"},{"key":"3_CR38","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/978-3-642-51136-3_2","volume-title":"Innovationen bei Rechen-und Kommunikationssystemen, Informatik aktuell","author":"F. Nickl","year":"1994","unstructured":"F. Nickl: Ablaufspezifikation durch Datenflu\u00dfdiagramme und Axiome. In: B. Wolfinger (ed.): Innovationen bei Rechen-und Kommunikationssystemen, Informatik aktuell, Berlin: Springer, 1994, 10\u201318"},{"key":"3_CR39","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/BF01887212","volume":"1","author":"T. Nipkow","year":"1989","unstructured":"T. Nipkow: Term Rewriting and Beyond \u2014 Theorem Proving in Isabelle. Formal Aspects of Computing 1, 1989, 320\u2013338","journal-title":"Formal Aspects of Computing"},{"key":"3_CR40","volume-title":"CRL Report 237","author":"D. L. Parnas","year":"1991","unstructured":"D. L. Parnas, J. Madrey: Functional Documentation for Computer Systems Engineering (Version 2). CRL Report 237. McMaster University, Hamilton Ontario, Canada 1991"},{"key":"3_CR41","unstructured":"P. Pepper, M. Wirsing: KorSo: a method for the development of correct software. To appear"},{"key":"3_CR42","unstructured":"D. Bj\u00f6rner, H. Langmaack, C.A.R. Hoare: Provably Correct Systems. ProCoS I Final Delivery, M\u00e4rz 1992"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petrinetze \u2014 Eine Einf\u00fchrung. Studienreihe Informatik; 2. \u00dcberarbeitete Auflage (1986).","DOI":"10.1007\/978-3-642-71275-3"},{"key":"3_CR44","unstructured":"B. Rumpe, C. Klein, M. Broy: Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme \u2014 Syslab-Systemmodell. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, 1995, TUM-I9510"},{"key":"3_CR45","unstructured":"Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT, 1988"},{"key":"3_CR46","unstructured":"K. St\u00f8len, F. Dederichs, R. Weber: Assumption\/Commitment Rules for Networks of Agents. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9302"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60117-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:08Z","timestamp":1605646508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}