{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:09:24Z","timestamp":1763201364722},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472421"},{"type":"electronic","value":"9783540472438"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11902140_3","type":"book-chapter","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T13:35:29Z","timestamp":1161869729000},"page":"24-34","source":"Crossref","is-referenced-by-count":17,"title":["Requirements Engineering as a Key to Holistic Software Quality"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"AutoFocus \u2013 Webseite (2005), http:\/\/autofocus.in.tum.de"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Herzberg, D., Broy, M.: Modeling layered distributed communication systems. Applicable Formal Methods\u00a017(1) (May 2005)","DOI":"10.1007\/s00165-004-0051-8"},{"key":"3_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)"},{"key":"3_CR4","unstructured":"Broy, M.: Time, Abstraction, Causality, and Modularity in Interactive Systems. In: FESCA 2004. Workshop at ETAPS 2004, pp. 1\u20138 (2004)"},{"issue":"2-3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.scico.2004.04.003","volume":"54","author":"M. Broy","year":"2004","unstructured":"Broy, M.: The Semantic and Methodological Essence of Message Sequence Charts. Science of Computer Programming, SCP\u00a054(2-3), 213\u2013256 (2004)","journal-title":"Science of Computer Programming, SCP"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M.: Challenges in Automotive Software Engineering. In: Key Note 28th International Conference on Software Engineering (ICSE 2006) (2006)","DOI":"10.1145\/1134285.1134292"},{"key":"3_CR7","unstructured":"Broy, M., Dei\u00dfenb\u00f6ck, F., Pizka, M.: A Holistic Approach to Software Quality at Work. In: 3rd World Congress for Software Quality (3WCSQ)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Broy, M.: Multi-view Modeling of Software Systems. Keynote. In: FM 2003 Satellite Workshop on Formal Aspects of Component Software, September 8-9, 2003, Pisa, Italy (2003)","DOI":"10.1007\/978-3-540-40007-3_14"},{"key":"3_CR9","series-title":"NATO Science Series, II. Mathematics, Physics and Chemistry","volume-title":"Engineering Theories of Software Intensive Systems, Marktoberdorf","author":"M. Broy","year":"2004","unstructured":"Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures: The Janus Approach. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, August 3\u201315, 2004. NATO Science Series, II. Mathematics, Physics and Chemistry, vol.\u00a0195, Springer, Heidelberg (2004)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I., Meisinger, M.: A Formal Model of Services. In: TOSEM 2006 (to appear)","DOI":"10.1145\/1189748.1189753"},{"key":"3_CR11","unstructured":"Geisberger, E.: Requirements Engineering eingebetteter Systeme \u2013 ein interdisziplin\u00e4rer Modellierungsansatz. Dissertation, Technische Universit\u00e4t M\u00fcnchen, Shaker Verlag (2005), www.shaker-online.com\/ , ISBN: 3-8322-4619-3"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Le Lann, G.: An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective. In: 10th IEEE Intl. ECBS Conference, March 1997, pp. 339\u2013346 (1997)","DOI":"10.1109\/ECBS.1997.581900"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Prenninger, W., Wagner, S., K\u00fchnel, C., Baumgartner, M., Sostawa, B., Z\u00f6lch, R., Stauner, T.: One Evaluation of Model-Based Testing and its Automation. In: Proc. 27th Intl. Conf. on Software Engineering (ICSE), St. Louis, May 2005, pp. 392\u2013401 (2005)","DOI":"10.1145\/1062455.1062529"},{"key":"3_CR14","volume-title":"Real-time Object-oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-time Object-oriented Modeling. Wiley, New York (1994)"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences \u2013 ISCIS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11902140_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:29Z","timestamp":1605642989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11902140_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472421","9783540472438"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11902140_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}