{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T09:00:43Z","timestamp":1762160443093,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487905","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"143-149","source":"Crossref","is-referenced-by-count":19,"title":["Automotive software and systems engineering"],"prefix":"10.1109","author":[{"given":"M.","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Information Technology - Software Product Evaluation - Quality Characteristics and Guidelines for Their Use","year":"1991","key":"19"},{"journal-title":"Software Engineering","year":"2001","author":"sommerville","key":"17"},{"journal-title":"Basiswissen Softwaretest Aus- und Weiterbildung Zum Certified-tester","year":"2003","author":"spillner","key":"18"},{"key":"15","article-title":"Systementwurf fu?r elektronikarchitekturen im fahrzeug","author":"scharnhorst","year":"2003","journal-title":"Automatisierungs- und Assistenzsysteme fu?r Transportmittel 5th Braunschweiger Symposium"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-91194-0"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","author":"peled","year":"2001","journal-title":"Software Reliability"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062529"},{"journal-title":"Software-qualitat?","year":"2002","author":"liggesmeyer","key":"11"},{"journal-title":"Safeware - System Safety and Computers","year":"1995","author":"leveson","key":"12"},{"key":"3","article-title":"Model-based Testing - A tutorial volume","volume":"3472","year":"2005","journal-title":"Springer LNCS"},{"journal-title":"Report 5 - Software Metrics","year":"1995","key":"20"},{"key":"2","article-title":"Prozesse und methoden fu?r die entwicklung von Kfz-software bei der DaimlerChrysler AG","volume":"2","author":"bortolazzi","year":"2004","journal-title":"Informatik 2004 - Informatik verbindet"},{"journal-title":"AUTOSAR - Automotive Open System Architecture","year":"0","key":"1"},{"journal-title":"Software Requirements and Specifications A Lexicon of Practice Principles and Prejudices","year":"1995","author":"jackson","key":"10"},{"key":"7","article-title":"Offene systeme als basis der systemintegration der zukunft","author":"frischkorn","year":"2004","journal-title":"8 Internationaler Fachkonkress Automobil-elektronik"},{"journal-title":"CMMI Verbesserung von Softwareprozessen mit Capability Maturity Model Integration","year":"2002","author":"kneuper","key":"6"},{"journal-title":"Software Product Lines - Practices and Patterns","year":"2001","author":"clements","key":"5"},{"key":"4","article-title":"Das neue V-Modell XT - Ein anpassbares vorgehensmodell fu?r software und system engineering","author":"broy","year":"2005","journal-title":"Informatik Spectrum"},{"journal-title":"Basiswissen Software-projektmanagement - Aus- und Weiterbildung Zum Certified Project Manager Nach Dem ISQI-standard","year":"0","author":"hindel","key":"9"},{"journal-title":"Model Based Development of Automotive Human Machine Interfaces","year":"2004","author":"gentner","key":"8"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487905.pdf?arnumber=1487905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:36:14Z","timestamp":1497648974000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487905\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487905","relation":{},"subject":[]}}