{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:08:47Z","timestamp":1743066527190,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_1","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abrial, J.-R.: Formal methods: Theory becoming practice, vol.\u00a013(5), pp. 619\u2013628 (May 2007)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11813040_12","volume-title":"FM 2006: Formal Methods","author":"J. Botaschanjan","year":"2006","unstructured":"Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards Modularized Verification of Distributed Time-Triggered Systems. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 163\u2013178. Springer, Heidelberg (2006)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1083190.1083199","volume-title":"SEAS 2005: Proceedings of the Second International ICSE Workshop on Software Engineering for Automotive Systems","author":"J. Botaschanjan","year":"2005","unstructured":"Botaschanjan, J., Kof, L., K\u00fchnel, C., Spichkova, M.: Towards Verified Automotive Software. In: SEAS 2005: Proceedings of the Second International ICSE Workshop on Software Engineering for Automotive Systems, pp. 1\u20136. ACM Press, New York (2005)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the Correctness of Upper Layers of Automotive Systems. Formal Aspects of Computing, FACS (to appear)","DOI":"10.1007\/s00165-008-0097-0"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1189748.1189753","volume":"16","author":"M. Broy","year":"2007","unstructured":"Broy, M., Kr\u00fcger, I.H., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a016(1), 5 (2007)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones, vol.\u00a03(1), pp. 75\u2013102 (2007)","DOI":"10.1007\/s11334-006-0011-y"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Broy, M.: The Grand Challenge in Informatics: Engineering Software-Intensive Systems. IEEE Computer, 72\u201380 (2006)","DOI":"10.1109\/SEW.2006.33"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Bauer, A., Broy, M., Romberg, J., Sch\u00e4tz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: Auto-MoDe\u2014Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE 2005 World Congress, Detroit, MI. Society of Automotive Engineers (April 2005)","DOI":"10.4271\/2005-01-1281"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SERA.2007.129","volume-title":"Proceedings 5th ACIS International Conference on Software Engineeering Research, Management & Applications (SERA 2007)","author":"M. Broy","year":"2007","unstructured":"Broy, M.: Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. In: Kim, H.-K., Tanaka, J., Malloy, B., Lee, R. (eds.) Proceedings 5th ACIS International Conference on Software Engineeering Research, Management & Applications (SERA 2007), August 20 \u2013 22, pp. 3\u201310. IEEE Computer Society, Los Alamitos (2007)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I.H., Pretschner, A., Salzmann, C.: Engineering Automotive Software. In: Proceedings of the IEEE, vol.\u00a095(2), pp. 356\u2013373 (February 2007)","DOI":"10.1109\/JPROC.2006.888386"},{"key":"1_CR11","volume-title":"Future of Software Engineering (FOSE 2007","author":"A. Pretschner","year":"2007","unstructured":"Pretschner, A., Broy, M., Kr\u00fcger, I.H., Stauner, T.: Software Engineering for Automotive Systems: A Roadmap. In: Future of Software Engineering (FOSE 2007). IEEE Computer Soceity, Los Alamitos (2007)"},{"key":"1_CR12","unstructured":"Broy, M., Feilkas, M., Gr\u00fcnbauer, J., Gruler, A., Harhurin, A., Hartmann, J., Penzenstadler, B., Sch\u00e4tz, B., Wild, D.: Umfassendes Architekturmodell f\u00fcr das Engineering eingebetteter Softwareintensiver Systeme, Modellierungstheorien und Architekturebenen. Technical Report. Technische Universit\u00e4t M\u00fcnchen"},{"key":"1_CR13","unstructured":"Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless Model-based Development: from Isolated Tools to Integrated Model Engineering Environments. IEEE (to appear)"},{"key":"1_CR14","volume-title":"Structured Programming","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on Structured Programming. In: Dahl, O.-J., Hoare, C.A.R., Dijkstra, E.W. (eds.) Structured Programming. Academic Press, New York (1972)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. Parnas","year":"1972","unstructured":"Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM\u00a015, 1053\u20131058 (1972)","journal-title":"Comm. ACM"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:30:06Z","timestamp":1557873006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}