{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T21:05:13Z","timestamp":1770325513241,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/syscon.2013.6549946","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T11:42:56Z","timestamp":1373370176000},"page":"612-619","source":"Crossref","is-referenced-by-count":18,"title":["Semi-formal and formal interface specification for system of systems architecture"],"prefix":"10.1109","author":[{"given":"Jeremy","family":"Bryans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Payne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Holt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Perry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","volume":"1","author":"maier","year":"1998","journal-title":"Architecting Principles for Systems-of-Systems"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384144"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"36","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","article-title":"The semantics of Circus","volume":"2272","author":"woodcock","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"18","first-page":"137","article-title":"Specifying distributed software architectures","author":"magee","year":"1995","journal-title":"Proceedings of the 5th European Software Engineering Conference"},{"key":"33","year":"0"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384145"},{"key":"34","year":"0"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1049\/PBPC009E"},{"key":"13","year":"0"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1049\/PBPC007E"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"11","article-title":"Communicating sequential processes","author":"hoare","year":"1985","journal-title":"Prentice-Hall Inc"},{"key":"12","volume":"14","author":"hoare","year":"1998","journal-title":"Unifying Theories of Programming"},{"key":"21","author":"meyer","year":"1988","journal-title":"Object-Oriented Software Construction"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.08.006"},{"key":"22","year":"0"},{"key":"23","year":"0"},{"key":"24","year":"0"},{"key":"25","year":"0"},{"key":"26","year":"0"},{"key":"27","year":"0"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384154"},{"key":"29","article-title":"Evaluation of architectural frameworks supporting contract-based specification","author":"payne","year":"2010","journal-title":"Technical Report CSTR-1233 School of Computing Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"2","first-page":"38","volume":"32","author":"beugnard","year":"1999","journal-title":"Making Components Contract Aware Computer"},{"key":"10","author":"fitzgerald","year":"2005","journal-title":"Validated Designs for Object-oriented Systems"},{"key":"1","author":"robert","year":"1997","journal-title":"Formal Approach to Software Architecture"},{"key":"30","article-title":"Interface contracts for architectural specification and assessment: A sysml extension","author":"payne","year":"2011","journal-title":"Proceedings of the 2011 Workshop on Dependable Systems of Systems"},{"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":"Foundations of Computer Software Future Trends and Techniques for Development Lecture Notes in Computer Science"},{"key":"32","year":"0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2005.1571417"},{"key":"31","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2013.6549946"},{"key":"9","article-title":"Triumphs and challenges for the industrial application of model-oriented formal methods","author":"fitzgerald","year":"2007","journal-title":"On Leveraging Applications of Formal Methods Verification and Validation (ISoLA2007)"},{"key":"8","article-title":"The architecture analysis and design language (AADL): An introduction","author":"feiler","year":"2006","journal-title":"Technical Report CMU\/SEI-2006-TN-011 Software Engineering Institute"}],"event":{"name":"2013 7th Annual IEEE Systems Conference (SysCon)","location":"Orlando, FL","start":{"date-parts":[[2013,4,15]]},"end":{"date-parts":[[2013,4,18]]}},"container-title":["2013 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6542295\/6549844\/06549946.pdf?arnumber=6549946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:24:50Z","timestamp":1602671090000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6549946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/syscon.2013.6549946","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}