{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:15:38Z","timestamp":1725567338003},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156533"},{"type":"electronic","value":"9783642156540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15654-0_19","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T07:40:26Z","timestamp":1285832426000},"page":"259-278","source":"Crossref","is-referenced-by-count":0,"title":["Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Lann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: Assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-book: Assigning programs to meanings, 779 p. Cambridge University Press, NY (1996)"},{"issue":"1","key":"19_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MC.2006.35","volume":"9","author":"J. Bowen","year":"2006","unstructured":"Bowen, J., Hinchey, M.: Ten Commandments of Formal Methods ...Ten Years Later. IEEE Computer Journal\u00a09(1), 40\u201348 (2006)","journal-title":"IEEE Computer Journal"},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/1467247.1467257","volume":"52","author":"P. Denning","year":"2009","unstructured":"Denning, P., Riehle, R.: The Profession of IT \u2013 Is Software Engineering Engineering? Communications of the ACM\u00a052(3), 24\u201326 (2009)","journal-title":"Communications of the ACM"},{"key":"#cr-split#-19_CR4.1","unstructured":"OISAU-070-DJE-STB, Dossier de Justification des Exigences de la STB OISAU, 87 p. (Juillet 2009);"},{"key":"#cr-split#-19_CR4.2","unstructured":"OISAU-021A-STB, Sp??cification Technique de Besoins, 58 p. (Septembre 2009);"},{"key":"#cr-split#-19_CR4.3","unstructured":"OISAU-021B-Annexe STB, Annexe de la STB OISAU, 41 p. (Septembre 2009);"},{"key":"#cr-split#-19_CR4.4","unstructured":"OISAU-021C, Terminologie, 31 p. (Septembre 2009); 9 Rapports ?? Scenarii OISAU ?? (rapports d???application ?? des syst??mes de syst??mes autonomes op??rant en milieux air-sol, terrestre, sous-marins)"},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1109\/JSYST.2008.2007163","volume":"2","author":"A. Gorod","year":"2008","unstructured":"Gorod, A., Sauser, B., Boardman, J.: System-of-Systems Engineering Management: A Review of Modern History and a Path Forward. IEEE Systems Journal\u00a02(4), 484\u2013499 (2008)","journal-title":"IEEE Systems Journal"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, T.: Science and Engineering: A collusion of cultures. In: 37th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pp. 2\u20139 (2007)","DOI":"10.1109\/DSN.2007.87"},{"key":"19_CR7","unstructured":"ISO\/IEC 15288: Systems and software engineering \u2013 System life cycle processes, \n                \n                  http:\/\/www.iso.org\/iso\/home.htm"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-65193-4_23","volume-title":"Lectures on Embedded Systems","author":"G. Lann Le","year":"1998","unstructured":"Le Lann, G.: Proof-Based System Engineering and Embedded Systems. In: Rozenberg, G. (ed.) EEF School 1996. LNCS, vol.\u00a01494, pp. 208\u2013248. Springer, Heidelberg (1998)"},{"key":"19_CR9","unstructured":"Le Lann, G.: Models, Proofs and the Engineering of Computer-Based Systems: A Reality Check. In: Proceedings of the 9th Annual Intl. INCOSE Symposium on Systems Engineering: Sharing the Future, Brighton, UK, June 1999, vol.\u00a04, pp. 495\u2013502 (1999) (Best Paper Award)"},{"key":"19_CR10","unstructured":"Le Lann, G.: Ing\u00e9nierie syst\u00e8me prouvable pour les syst\u00e8mes temps r\u00e9el critiques\", papier invit\u00e9, Ecole d\u2019Et\u00e9 Temps R\u00e9el, Nantes, septembre 2007, Hermes, 15 p. (2007)"},{"key":"19_CR11","first-page":"870","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms, 870 p. Morgan Kaufmann, San Francisco (1996)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Powell, D.: Failure Mode Assumptions and Assumption Coverage. In: Proceedings of the 22nd IEEE International Symposium on Fault-Tolerant Computing, June 1992, pp. 386\u2013395 (1992)","DOI":"10.1109\/FTCS.1992.243562"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Rushby, J.: What Use is Verified Software? In: 12th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS), June 2007, pp. 270\u2013276 (2007)","DOI":"10.1109\/ICECCS.2007.47"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15654-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T13:00:32Z","timestamp":1619787632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15654-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156533","9783642156540"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15654-0_19","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}