{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:12:16Z","timestamp":1729671136397,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/mise.2013.6595296","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:57:08Z","timestamp":1379591828000},"page":"51-54","source":"Crossref","is-referenced-by-count":3,"title":["Highlighting the challenges of model-based engineering for spaceflight software systems"],"prefix":"10.1109","author":[{"given":"Robert G.","family":"Pettit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Navneet","family":"Mezcciani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"journal-title":"Ontology Development 101 A Guide to Creating Your First Ontology","year":"2001","author":"noy","key":"17"},{"year":"0","key":"18"},{"journal-title":"Simulink Simulation and Model-based Design","year":"0","key":"15"},{"journal-title":"Aerospace Blockset","year":"0","key":"16"},{"journal-title":"MDA Explained The Model Driven Architecture Practice and Promise","year":"2003","author":"kleppe","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2009.4839650"},{"key":"11","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/978-3-642-33666-9_41","article-title":"Experiences of applying UML\/MARTE on three industrial projects","author":"iqbal","year":"2012","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.66"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.18"},{"year":"0","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2010.5446802"},{"journal-title":"Effective Use of MBSE","year":"2010","author":"tavory","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.11"},{"journal-title":"The Ten Books on Architecture","year":"1960","author":"vitruvius","key":"26"},{"key":"3","article-title":"Future directions in flight software assurance","volume":"12","author":"nguyen","year":"2011","journal-title":"Crosslink"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2006.19"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985882"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MBD-MOMPES.2006.13"},{"key":"7","article-title":"Survey of model-based systems engineering (MBSE) methodologies","volume":"25","author":"estefan","year":"2007","journal-title":"INCOSE MBSE Focus Group"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1882"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2005.1563400"},{"key":"4","first-page":"31","article-title":"Software testing in space programs","volume":"6","author":"hecht","year":"2005","journal-title":"Crosslink"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985858"},{"key":"8","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776814","article-title":"The SAE architecture analysis &design language (aadl) a standard for engineering performance critical systems","author":"feiler","year":"2006","journal-title":"Computer Aided Control System Design 2006 IEEE International Conference on Control Applications 2006 IEEE International Symposium on Intelligent Control 2006 IEEE"}],"event":{"name":"2013 5th International Workshop on Modeling in Software Engineering (MiSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 5th International Workshop on Modeling in Software Engineering (MiSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588674\/6595284\/06595296.pdf?arnumber=6595296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:11:29Z","timestamp":1498068689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/mise.2013.6595296","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}