{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T20:03:43Z","timestamp":1770321823921,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/sysose.2012.6384154","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T22:49:45Z","timestamp":1359586185000},"page":"567-572","source":"Crossref","is-referenced-by-count":7,"title":["Interface specification for system-of-systems architectures"],"prefix":"10.1109","author":[{"given":"Richard","family":"Payne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Bryans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Riddle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"2010","journal-title":"Systems Modelling Language"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384154"},{"key":"17","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"23","author":"payne","year":"2010","journal-title":"Evaluation of Architectural Frameworks Supporting Contract-based Specification"},{"key":"18","year":"2009","journal-title":"Unified Modelling Language Infrastructure"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"16","author":"meyer","year":"1988","journal-title":"Object-Oriented Software Construction"},{"key":"13","article-title":"The Application of VDM++ to the Development of Firmware for a Smart Card IC Chip","volume":"3","author":"kurita","year":"2009","journal-title":"Int J Software Informatics"},{"key":"14","first-page":"137","article-title":"Specifying distributed software architectures","author":"magee","year":"1995","journal-title":"Proceedings of the 5th European Software Engineering Conference"},{"key":"11","author":"hoare","year":"1985","journal-title":"Communication Sequential Processes"},{"key":"12","author":"hoare","year":"1998","journal-title":"Unifying Theories of Programming"},{"key":"21","author":"payne","year":"2012","journal-title":"Modelling the Major Incident Procedure Manual A System of Systems Case Study"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"20","year":"2007","journal-title":"Major Incident Procedure Manual"},{"key":"2","author":"allen","year":"1997","journal-title":"A Formal Approach to Software Architecture"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"10","author":"gamble","year":"2011","journal-title":"Design Time Detection of Architectural Mismatches in Service Oriented Architectures"},{"key":"7","first-page":"4","article-title":"Systems engineering for capabilities","volume":"21","author":"dahmann","year":"2008","journal-title":"CrossTalk Journal (The Journal of Defense Software Engineering)"},{"key":"6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-642-12566-9_4","article-title":"Software Engineering Techniques for the Development of Systems of Systems","volume":"6028","author":"calinescu","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23330-2_35"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2033-9"},{"key":"9","author":"fitzgerald","year":"2005","journal-title":"Validated Designs for Object-oriented Systems"},{"key":"8","author":"feiler","year":"2006","journal-title":"The Architecture Analysis and Design Language (AADL) An Introduction"}],"event":{"name":"2012 7th International Conference on System of Systems Engineering (SoSE)","location":"Genova","start":{"date-parts":[[2012,7,16]]},"end":{"date-parts":[[2012,7,19]]}},"container-title":["2012 7th International Conference on System of Systems Engineering (SoSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6324004\/6355890\/06384154.pdf?arnumber=6384154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T06:42:05Z","timestamp":1498027325000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6384154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/sysose.2012.6384154","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}