{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:49:37Z","timestamp":1729648177191,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/icsmc.2007.4414100","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:52:49Z","timestamp":1199479969000},"page":"703-707","source":"Crossref","is-referenced-by-count":3,"title":["Decision-making for systems architecting using meta-languages"],"prefix":"10.1109","author":[{"given":"Willard L.","family":"Simmons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin H. Y.","family":"Koo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward F.","family":"Crawley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Value network modeling","year":"2007","author":"cameron","key":"19"},{"article-title":"Object-process networks & object-process diagrams - implementation issues for oil exploration systems","year":"2007","author":"rozenblum","key":"17"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.2514\/6.IAC-06-D3.1.03","article-title":"Value based architecture selection","author":"cameron","year":"2006","journal-title":"57th International Astronautical Congress"},{"year":"0","key":"15"},{"key":"16","article-title":"Algebra of systems: On executable framework for model synthesis and evaluation","author":"hoare","year":"2007","journal-title":"2007 International Conference on Systems Engineering and Modeling"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-44577-3_10","article-title":"Abstract interpretation based formal methods and future challenges, invited paper","volume":"2000","author":"hoare","year":"2001","journal-title":"ser Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1994.390376"},{"key":"12","article-title":"Unifying Theories of Progamming","author":"hoare","year":"1998","journal-title":"ser Prentice Hall Series in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6726"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.2514\/6.IAC-06-D1.3.07","article-title":"A computational method for mapping the decision space of the lunar exploration program","author":"simmons","year":"2006","journal-title":"57th International Astronautical Congress"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-976-7_13"},{"article-title":"A meta-language for systems architecting","year":"2005","author":"koo","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90108-V"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2007.4414100"},{"journal-title":"Qualitative Reasoning Modeling and Simulation with Incomplete Knowledge","year":"1994","author":"kuipers","key":"9"},{"key":"8","article-title":"Design Rules","volume":"1","author":"baldwin","year":"2000","journal-title":"The Power of Modularity"}],"event":{"name":"2007 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2007,10,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2007,10,10]]}},"container-title":["2007 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4413560\/4413561\/04414100.pdf?arnumber=4414100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,30]],"date-time":"2020-04-30T10:27:59Z","timestamp":1588242479000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4414100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2007.4414100","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}