{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:14:02Z","timestamp":1761513242869,"version":"3.28.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.6384150","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T17:49:45Z","timestamp":1359568185000},"page":"451-456","source":"Crossref","is-referenced-by-count":21,"title":["COMPASS tool vision for a system of systems Collaborative Development Environment"],"prefix":"10.1109","author":[{"given":"Joey W.","family":"Coleman","sequence":"first","affiliation":[]},{"given":"Anders Kaels","family":"Malmos","sequence":"additional","affiliation":[]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]},{"given":"Ralph","family":"Hains","sequence":"additional","affiliation":[]},{"given":"Zoe","family":"Andrews","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Payne","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Foster","sequence":"additional","affiliation":[]},{"given":"Alvaro","family":"Miyazawa","sequence":"additional","affiliation":[]},{"given":"Cristiano","family":"Bertolini","sequence":"additional","affiliation":[]},{"given":"Andre","family":"Didier","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24580-0_11"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.11.012"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2009.5211597"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.010"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0006-5"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39893-6_23"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_17"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.9"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0044-5"},{"journal-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.14"},{"key":"3","article-title":"Modelling and Analysis Technology for Systems of Systems Engineering: Research Challenges","author":"fitzgerald","year":"0","journal-title":"INCOSE (Rome Italy) July 2012"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2010.09.025"},{"key":"2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0065-2458(03)59001-5","article-title":"Collaborative development environments","volume":"59","author":"booch","year":"2003","journal-title":"Advances in Computers"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_9"},{"key":"7","first-page":"298","article-title":"Automated Test Case Generation with SMT-Solving and Abstract Interpretation","volume":"6617","author":"peleska","year":"2011","journal-title":"LNCS"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/1668862.1668864","article-title":"The Overture Initiative - Integrating Tools for VDM","volume":"35","author":"larsen","year":"2010","journal-title":"ACM Software Engineering Notes"},{"journal-title":"Artisan Studio","year":"2012","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384144"},{"key":"9","first-page":"337","article-title":"Z3: An efficient SMT solver","volume":"4963","author":"de moura","year":"2008","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541"}],"event":{"name":"2012 7th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2012,7,16]]},"location":"Genova","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\/06384150.pdf?arnumber=6384150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T01:38:47Z","timestamp":1553823527000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6384150\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/sysose.2012.6384150","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}