{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:16Z","timestamp":1725567796832},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653097"},{"type":"electronic","value":"9783540494393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/10692867_2","type":"book-chapter","created":{"date-parts":[[2010,10,21]],"date-time":"2010-10-21T10:43:19Z","timestamp":1287657799000},"page":"43-68","source":"Crossref","is-referenced-by-count":4,"title":["Software and System Modeling Based on a Unified Formal Semantics"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Franz","family":"Huber","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Paech","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]},{"given":"Katharina","family":"Spies","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"The Munich Project CIP","year":"1985","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Br\u00fcckner, B., Laut, A., Matzner, T., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H. (eds.): The Munich Project CIP. LNCS, vol.\u00a0183. Springer, Heidelberg (1985)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, N., Browne, A., Chang, E., Col\u00f3n, M., Kapur, A., Manna, Z., Sipma, H.B., Uribe, T.E.: STeP: Deductive Algorithmic Verification of Reactive and Real-Time Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61474-5_92"},{"key":"2_CR3","unstructured":"Broy, M., Breitling, M., Sc\u00e4tz, B., Spies, K.: Summary of Case Studies in Focus - Part II. SFB-Bericht 342\/24\/97 A, Technische Universit\u00e4t M\u00fcnchen (September 1997)"},{"key":"2_CR4","first-page":"528","volume-title":"Encyclopedia of Software Engineering","author":"V.R. Basili","year":"1994","unstructured":"Basili, V.R., Caldiera, G., Rombach, H.-D.: Goal Question Metric Paradigm. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, pp. 528\u2013532. John Wiley & Sons, Chichester (1994)"},{"key":"2_CR5","unstructured":"Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., We-ber, R.: The Design of Distributed Systems - An Introduction to Focus. SFB-Bericht Nr. 342\/2-2\/92 A, Technische Universit\u00e4t M\u00fcnchen (January 1993)"},{"key":"2_CR6","unstructured":"Broy, M., Facchi, C., Grosu, R., Hettler, R., Hu\u03b2mann, H., Nazareth, D., Regensburger, F., Slotosch, O., St\u00f8len, K.: The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universit\u00e4t M\u00fcnchen (1993)"},{"key":"2_CR7","unstructured":"Broy, M., Facchi, C., Grosu, R., Hettler, R., Hu\u03b2mann, H., Nazareth, D., Regensburger, F., Slotosch, O., St\u00f8len, K.: The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0, Part 2. Technical Report TUM-I9312, Technische Universit\u00e4t M\u00fcnchen (1993)"},{"key":"2_CR8","unstructured":"Broy, M., Fuchs, M., Gritzner, T.F., Sch\u00e4tz, B., Spies, K., St\u00f8len, K.: Summary of Case Studies in Focus \u2014 a Design Method for Distributed Systems. SFB-Bericht 342\/13\/94 A, Technische Universit\u00e4t M\u00fcnchen (June 1994)"},{"key":"2_CR9","unstructured":"Breu, R., Grosu, R., Hofmann, C., Huber, F., Kr\u00fcger, I., Rumpe, B., Schmidt, M., Schwerin, W.: Exemplary and Complete Object Interaction Descriptions. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Proceedings OOPSLA 1997 Workshop on Object-oriented Behavioral Semantics, TUM-I9737 (1997)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-69687-3_42","volume-title":"Object-Oriented Technology. ECOOP\u201997 Workshop Reader","author":"R. Breu","year":"1998","unstructured":"Breu, R., Grosu, R., Huber, F., Rumpe, B., Schwerin, W.: Towards a Precise Semantics for Object-Oriented Modeling Techniques. In: Bosch, J., Mitchell, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01357, p. 205. Springer, Heidelberg (1998)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/BFb0053386","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"R. Breu","year":"1997","unstructured":"Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a Formalization of the Uniied Modeling Language. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 344\u2013366. Springer, Heidelberg (1997)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Broy, M., Hofmann, C., Krueger, I., Schmidt, M.: Using Extended Event Traces to Describe Communication in Software Architectures. In: Proceedings APSEC 1997 and ICSC 1997. IEEE Computer Society, Los Alamitos (1997)","DOI":"10.1109\/APSEC.1997.640177"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Broy, M., Hu\u03b2mann, H., Sch\u00e4tz, B.: Formal Development of Consistent System Specifications. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol.\u00a01051, pp. 248\u2013267. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-60973-3_91"},{"key":"2_CR14","unstructured":"Biere, A.: Effiziente Modellpr\u00fcfung des \u03bc-Kalk\u00fcls mit bin\u00e4ren Entscheidungsdiagrammen. PhD thesis, Universit\u00e4t Karlsruhe (1997)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Systems Specification","year":"1996","unstructured":"Broy, M., Merz, S., Spies, K. (eds.): Dagstuhl Seminar 1994. LNCS, vol.\u00a01169. Springer, Heidelberg (1996)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Broy, M., Merz, S., Spies, K.: The RPC-Memory Speciication Problem: A Synopsis. In: [BMS96a], pp. 5\u201320 (1996)","DOI":"10.1007\/BFb0024425"},{"key":"2_CR17","unstructured":"Breitling, M.: Formalizing and Verifying TimeWarp with Focus. SFB- Bericht 342\/27\/97 A, Technische Universit\u00e4t M\u00fcnchen (1997)"},{"key":"2_CR18","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.1 (1997)"},{"key":"2_CR19","unstructured":"Broy, M.: A Functional Rephrasing of the Assumption\/Commitment Specification Style. Technical Report TUM-I9417, Technische Universit\u00e4t M\u00fcnchen (1994)"},{"key":"2_CR20","unstructured":"Broy, M., St\u00f8len, K.: FOCUS on System Development - A Method for the Development of Interactive Systems (1997) Manuscript"},{"key":"2_CR21","volume-title":"Object-Oriented Development - The FUSION Method","author":"D. Coleman","year":"1994","unstructured":"Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development - The FUSION Method. Prentice Hall, Englewood Cliffs (1994)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BFb0024650","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"D. Craigen","year":"1993","unstructured":"Craigen, D., Gerhart, S., Ralston, T.: Formal Methods Reality Check: Industrial Usage. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 250\u2013267. Springer, Heidelberg (1993)"},{"key":"2_CR23","volume-title":"Structured Systems Analysis and Design Method: Application and Context","author":"E. Downs","year":"1992","unstructured":"Downs, E., Clare, P., Coe, I.: Structured Systems Analysis and Design Method: Application and Context. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Deifel, B., Hinkel, U., Paech, B., Scholz, P., Thurner, V.: Die Praxis der Softwareentwicklung: Eine Erhebung (1998) (Submitted to publication)","DOI":"10.1007\/s002870050121"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"France, R.B., Bruel, J.-M.: Integrated Informal Object-Oriented and Formal Modeling Techniques. In: Kilov, H., Rumpe, B. (eds.) Proceedings ECOOP 1997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Technische Universit\u00e4t M\u00fcnchen, TUM-I9725 (1997)","DOI":"10.1007\/3-540-69687-3_37"},{"key":"2_CR26","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)"},{"key":"2_CR27","unstructured":"Grosu, R., Klein, C., Rumpe, B.: Enhancing the SysLab System Model with State. TUM-I 9631, Technische Universit\u00e4t M\u00fcnchen (1996)"},{"key":"2_CR28","unstructured":"Grosu, R., Klein, C., Rumpe, B., Broy, M.: State Transition Diagrams. TUM-I 9630,Technische Universit\u00e4t M\u00fcnchen (1996)"},{"key":"2_CR29","unstructured":"Grosu, R., Rumpe, B.: Concurrent Timed Port Automata. TUM-I 9533, Technische Universit\u00e4t M\u00fcnchen (1995)"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Huber, F., Molterer, S., Sch\u00e4tz, B., Sltosch, O., Vilbig, A.: Traffic Lights - An AutoFocus Case Study. In: International Conference on Application of Concurrency to System Design. IEEE CS Press, Los Alamitos (1998)","DOI":"10.1109\/CSD.1998.657559"},{"key":"2_CR31","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of Statecharts. In: Proceedings on the Symposium on Logic in Computer Science, pp. 54\u201364 (1987)"},{"key":"2_CR32","unstructured":"Huber, F., Sch\u00e4tz, B.: Rapid Prototyping with AutoFocus. In: Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.) Formale Beschreibungstech-niken f\u00fcr verteilte Systeme, GI\/ITG Fachgespr\u00e4ch 1997, pp. 343\u2013352. GMD Verlag, St. Augustin (1997)"},{"key":"#cr-split#-2_CR33.1","unstructured":"Huber, F., Sch\u00e4tz, B., Spies, K.: AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme. In: Herzog, U., Hermanns, H. (eds.) Formale Beschreibungstechniken f\u00fcr verteilte Systeme, pp. 165\u2013174, Universit\u00e4t Erlangen-N\u00fcrnberg (1996);"},{"key":"#cr-split#-2_CR33.2","unstructured":"Arbeitsberichte des Insituts f\u00fcr mathematische Maschinen und Datenverarbeitung, Bd.29, Nr. 9."},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Foundations for Software Engineering Methods","year":"1997","unstructured":"Hu\u03b2mann, H. (ed.): Formal Foundations for Software Engineering Methods. LNCS, vol.\u00a01322. Springer, Heidelberg (1997)"},{"key":"2_CR35","unstructured":"i-Logix Inc., 22 Third Avenue, Burlington, Mass. 01803, U.S.A. Languages of Statemate (1990)"},{"key":"2_CR36","unstructured":"International Telecommunication Union, Geneva. Message Sequence Charts, ITU-T Recommendation Z.120 (1996)"},{"key":"2_CR37","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I.: Object-Oriented Software Engineering. Addison-Wesley, Reading (1992)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Jackson, M.: The World and the Machine. In: ICSE-17, pp. 283\u2013294 (1995)","DOI":"10.1145\/225014.225041"},{"key":"2_CR39","unstructured":"Jones, M.P.: An Introduction to Gofer, Manual (1993)"},{"key":"#cr-split#-2_CR40.1","doi-asserted-by":"crossref","unstructured":"Klein, C., Rumpe, B., Broy, M.: A Stream-based Mathematical Model for Distributed Information Processing Systems - SysLab system model. In: Naijm, E., Stefani, J.-B. (eds.) FMOODS 1996 Formal Methods for Open Object-based Distributed Systems, pp. 323\u2013338 (1996);","DOI":"10.1007\/978-0-387-35082-0_23"},{"key":"#cr-split#-2_CR40.2","unstructured":"ENST France Telecom (1996)"},{"key":"2_CR41","unstructured":"Nazareth, D., Regensburger, F., Scholz, P.: Mini-Statecharts: A Lean Version of Statecharts. Technical Report TUM-I9610, Technische Universit\u00e4t M\u00fcnchen (1996)"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Veriication System. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607. Springer, Heidelberg (1992)","DOI":"10.1007\/3-540-55602-8_217"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541","volume-title":"Isabelle","author":"L.C. Paulson","year":"1994","unstructured":"Paulson, L.C.: Isabelle: A generic theorem prover. LNCS, vol.\u00a0828. Springer, Heidelberg (1994)"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"B. Paech","year":"1994","unstructured":"Paech, B., Rumpe, B.: A New Concept of Reinement Used or Behaviour Modelling with Automata. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873. Springer, Heidelberg (1994)"},{"key":"2_CR45","volume-title":"Formal Methods for Open Object-based Distributed Systems","author":"B. Paech","year":"1997","unstructured":"Paech, B., Rumpe, B.: State Based Service Description. In: Derrick, J. (ed.) Formal Methods for Open Object-based Distributed Systems. Chapman-Hall, Boca Raton (1997)"},{"key":"2_CR46","volume-title":"ICFEM 1997 Proceedings","author":"J. Philipps","year":"1997","unstructured":"Philipps, J., Rumpe, B.: Reinement of Information Flow Architectures. In: Hinchey, M. (ed.) ICFEM 1997 Proceedings, Hiroshima, Japan. IEEE CS Press, Los Alamitos (1997)"},{"key":"2_CR47","unstructured":"Philipps, J., Rumpe, B.: Stepwise Reinement of Data Flow Architectures. In: Broy, M., Denert, E., Renzel, K., Schmidt, M. (eds.): Software Architectures and Design Patterns in Business Applications. Technische Universit\u00e4t M\u00fcnchen, TUM-I9746 (1997)"},{"key":"2_CR48","volume-title":"Object-oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"2_CR49","unstructured":"Regensburger, F.: HOLCF: Eine konservative Erweiterung von HOL um LCF. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (1994)"},{"key":"2_CR50","first-page":"265","volume-title":"Automata Describing Object Behavior","author":"B. Rumpe","year":"1996","unstructured":"Rumpe, B., Klein, C.: Automata Describing Object Behavior, pp. 265\u2013287. Kluwer Academic Publishers, Norwell (1996)"},{"key":"2_CR51","unstructured":"Rumpe, B.: Formal Method for the Development of Distributed Object- Oriented Systems. Herbert Utz Verlag Wissenschaft, PhD thesis, Technische Universit\u00e4t M\u00fcnchen (1996) (in German)"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"St\u00f8len, K., Dederichs, F., Weber, R.: Specification and Refinement of Networks of Asynchronously Communicating Agents using the Assumption\/Commitment Paradigm. Formal Aspects of Computing (1995)","DOI":"10.1007\/BF01214554"},{"key":"2_CR53","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gulkeson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Chichester (1994)"},{"key":"2_CR54","unstructured":"Spies, K.: Funktionale Spezifikation eines Kommunikationsprotokolls. SFB-Bericht 342\/08\/94 A, Technische Universit\u00e4t M\u00fcchen (May 1994)"},{"key":"2_CR55","unstructured":"Spies, K.: Eine Methode zur formalen Modellierung von Betriebssys-temkonzepten. PhD thesis, Technische Universit\u00e4t M\u00fcchen (1998)"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Suchman, L. (ed.): Special Issue on Representations of Work. In: CACM, vol.\u00a038(9) (1995)","DOI":"10.1145\/223248.223257"},{"volume-title":"Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL","year":"1993","key":"2_CR57","unstructured":"Turner., K.J. (ed.): Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. John Wiley & Sons, Chichester (1993)"},{"key":"2_CR58","unstructured":"Wordsworth, J.B.: Software Development with Z. Addison-Wesley, Reading (1992)"}],"container-title":["Lecture Notes in Computer Science","Requirements Targeting Software and Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10692867_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T06:11:56Z","timestamp":1636697516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10692867_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653097","9783540494393"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/10692867_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}