{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:28:28Z","timestamp":1760549308813,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/sysose.2012.6384136","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T22:49:45Z","timestamp":1359586185000},"page":"573-578","source":"Crossref","is-referenced-by-count":11,"title":["Technical challenges of SoS requirements engineering"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Hallerstede","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Finn Overgaard","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jon","family":"Holt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus","family":"Lauritsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lasse","family":"Lorenzen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: An open toolset for modelling and reasoning in event-b","volume":"12","author":"abrial","year":"2010","journal-title":"STTT"},{"key":"17","article-title":"Mixing formal and informal model elements for tracing requirements","author":"jastram","year":"2011","journal-title":"AVOCS 2011"},{"key":"18","article-title":"Validation of formal models by refinement animation","author":"hallerstede","year":"2011","journal-title":"Sci Comput Program"},{"journal-title":"Programming from Specifications","year":"1994","author":"morgan","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1111\/0029-4624.31.s11.17"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0190-7"},{"journal-title":"Evaluation of Architectural Frameworks Supporting Contract-based Specification","year":"2010","author":"payne","key":"11"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.14236\/ewic\/IWFM2001.7","article-title":"A concurrent language for refinement","author":"woodcock","year":"2001","journal-title":"BCS Electronic Workshops in Computing"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23330-2_35"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2000.855609"},{"key":"2","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":"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-24559-6_15"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2011.5719652"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RESS.2011.6043923"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2009.4815806"},{"journal-title":"Installed Base of Dlna Devices Exceeds 440mn","year":"2011","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626975"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1049\/PBPC007E"}],"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\/06384136.pdf?arnumber=6384136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,21]],"date-time":"2020-07-21T13:05:13Z","timestamp":1595336713000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6384136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sysose.2012.6384136","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}