{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:19:39Z","timestamp":1729667979539,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/rcis.2016.7549327","type":"proceedings-article","created":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T21:04:18Z","timestamp":1472159058000},"page":"1-12","source":"Crossref","is-referenced-by-count":5,"title":["How software changes the world: The role of assumptions"],"prefix":"10.1109","author":[{"given":"Xiaowei","family":"Wang","sequence":"first","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Guarino","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Where does money come from","year":"0","author":"ryan-collins","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1515\/9783110326185"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225041"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.896248","article-title":"A reference model for requirements and specifications","volume":"17","author":"gunter","year":"2000","journal-title":"Software IEEE"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.9"},{"key":"ref15","article-title":"From Worlds to Machines","author":"van lamsweerde","year":"2009","journal-title":"A Tribute to Michael Jackson"},{"key":"ref16","first-page":"55","article-title":"Logic and Data Bases","author":"reiter","year":"1978"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413849"},{"key":"ref18","first-page":"495","article-title":"Use and Abuse of Warnings in Products Liability-Design Defect Litigation Comes of Age","volume":"61","author":"twerski","year":"1975","journal-title":"Cornell Law Review"},{"key":"ref19","article-title":"Flight 501 failure","author":"lions","year":"1996","journal-title":"Report By the Inquiry Board"},{"key":"ref4","article-title":"Assumptions in Design and Design Rationale","author":"brown","year":"2006","journal-title":"DCC'06 Workshop on Design Rationale Problems and Progress"},{"key":"ref3","article-title":"Review and Challenges of Assumptions in Software Development","author":"al mamun","year":"2011","journal-title":"Proceedings of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop"},{"key":"ref6","article-title":"Situations, actions, and causal laws","author":"mccarthy","year":"1963","journal-title":"Comtex Scientific"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COUFLESS.2015.12"},{"key":"ref8","first-page":"317","article-title":"Towards an Ontology of Software: a Requirements Engineering Perspective","author":"wang","year":"2014","journal-title":"8th InternationalConference on Formal Ontology in Information Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"ref2","article-title":"Assumptions Management in Software Development","author":"lewis","year":"2004","journal-title":"Pittsburgh"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12206-9_27"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225016"},{"article-title":"Defenses in a Product Liability Claim","year":"2002","author":"schultz","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/ISRE.1997.566873","article-title":"Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering","author":"yu","year":"1997","journal-title":"Proceedings of the 3rd IEEE InternationalSymposium on Requirements Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1995.512561"},{"key":"ref23","article-title":"Requirements-based Software System Adaptation","author":"silva souza","year":"2012","journal-title":"University of Trento"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/AO-2009-0069","article-title":"A core ontology for requirements","volume":"4","author":"jureta","year":"2009","journal-title":"Appl Ontol"}],"event":{"name":"2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2016,6,1]]},"location":"Grenoble, France","end":{"date-parts":[[2016,6,3]]}},"container-title":["2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7541913\/7549273\/07549327.pdf?arnumber=7549327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T02:03:51Z","timestamp":1657159431000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7549327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/rcis.2016.7549327","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}