{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:36:41Z","timestamp":1760132201111,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/re.2011.6051648","type":"proceedings-article","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T11:05:14Z","timestamp":1319195114000},"page":"143-152","source":"Crossref","is-referenced-by-count":6,"title":["A context analysis method for embedded systems — Exploring a requirement boundary between a system and its context"],"prefix":"10.1109","author":[{"given":"Naoyasu","family":"Ubayashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasutaka","family":"Kamei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Hirayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuo","family":"Tamai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Problem Frame: Analyzing and Structuring Software Development Problems","year":"2001","author":"jackson","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1020288"},{"key":"ref12","first-page":"220","article-title":"Aspect-Oriented Programming","author":"kiczales","year":"0","journal-title":"Proceeding of European Conference on Object-Oriented Programming (ECOOP'97)"},{"key":"ref13","first-page":"32","article-title":"Usage Context as Key Driver for Feature Selection","volume":"6287","author":"lee","year":"0","journal-title":"Proceedings of the 14th International Software Product Line Conference (SPLC 2010) Lecture Notes in Computer Science"},{"article-title":"Safeware: System Safety and Computers","year":"1995","author":"leveson","key":"ref14"},{"key":"ref15","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume":"4","author":"mc carthy","year":"1969","journal-title":"Machine Intelligence"},{"key":"ref16","article-title":"Functional Documentation for Computer Systems Engineering","author":"parnas","year":"1991","journal-title":"McMaster University Technical Report CRL 237"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15579-6_1"},{"key":"ref4","first-page":"225","article-title":"Capturing More World Knowledge in the Requirements Specification","author":"greenspan","year":"0","journal-title":"Proceedings of the International Conference on Software Engineering (ICSE)"},{"article-title":"Validated Designs for Object-oriented Systems","year":"2005","author":"fitzgerald","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70754"},{"key":"ref8","first-page":"650","article-title":"Applying the SCR Requirements Method to the Light Control Case Study","volume":"6","author":"heitmeyer","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521891"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"ref1","first-page":"65","article-title":"Examples of how to Determine the Specifications of Control Systems","author":"coleman","year":"0","journal-title":"Proceedings of Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005)"},{"key":"ref9","first-page":"21","article-title":"Lightweight Formal Methods","volume":"29","author":"jackson","year":"1996","journal-title":"IEEE Computer"}],"event":{"name":"2011 IEEE 19th International Requirements Engineering Conference (RE)","start":{"date-parts":[[2011,8,29]]},"location":"Trento, Italy","end":{"date-parts":[[2011,9,2]]}},"container-title":["2011 IEEE 19th International Requirements Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6036256\/6051621\/06051648.pdf?arnumber=6051648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T04:34:22Z","timestamp":1490070862000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6051648\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/re.2011.6051648","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}