{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:28:51Z","timestamp":1725532131582},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/syseng.2016.7753119","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T16:42:19Z","timestamp":1480005739000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Requirements hierarchy in the responsive and formal design process"],"prefix":"10.1109","author":[{"given":"Solomon","family":"Gebreyohannes","sequence":"first","affiliation":[]},{"given":"William","family":"Edmonson","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Esterline","sequence":"additional","affiliation":[]},{"given":"Jules","family":"Chenou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.06.024"},{"journal-title":"Categories for the Working Mathematician","year":"1998","author":"lane","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"ref13","article-title":"A categorical manifesto","author":"goguen","year":"1989","journal-title":"Oxford University Computing Laboratory"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkq006"},{"journal-title":"Basic Category Theory for Computer Scientists","year":"0","author":"pierce","key":"ref15"},{"journal-title":"Category Theory for the Sciences","year":"2014","author":"spivak","key":"ref16"},{"key":"ref17","first-page":"1","article-title":"Adjointness in foundations","author":"lawvere","year":"2006","journal-title":"Reprints in Theory and Applications of Categories"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1993.287582"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2015.7116833"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"year":"2007","key":"ref3","article-title":"INCOSE systems engineering vision 2020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CIMCA.2005.1631332"},{"key":"ref5","article-title":"Information Flow The logic of Distributed Systems","author":"barwise","year":"1997","journal-title":"Cambridge Tracks in Theoretical Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2013.50"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839888"},{"journal-title":"8th Annual IEEE International Systems Conference","year":"0","author":"edmonson","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2007.07.001"},{"key":"ref1","article-title":"Highly confident reduced life-cycle design process for small satellite systems: Methodology and theory","author":"edmonson","year":"2012","journal-title":"Complex Systems and Data Management Conference"},{"key":"ref20","article-title":"A formal foundation of systems engineering","author":"luzeaux","year":"2014","journal-title":"CSDM"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2015.7302783"},{"key":"ref21","article-title":"Formal framework for ensuring consistent system and component theories in the design of small satellite systems","author":"chenou","year":"2014","journal-title":"Complex Systems and Data Management Conference"},{"year":"2011","key":"ref24","article-title":"PVS specification and verification system"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55602-8_217"},{"article-title":"NASA systems engineering handbook, NASA\/sp-2007–6105","year":"2007","author":"owre","key":"ref25"}],"event":{"name":"2016 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2016,10,3]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7731016\/7753113\/07753119.pdf?arnumber=7753119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,20]],"date-time":"2016-12-20T19:25:05Z","timestamp":1482261905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753119\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/syseng.2016.7753119","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}