{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:47:08Z","timestamp":1730256428120,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2002.1048513","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T19:45:08Z","timestamp":1056570308000},"page":"112-119","source":"Crossref","is-referenced-by-count":1,"title":["Multi-faceted requirements modeling"],"prefix":"10.1109","author":[{"given":"C.","family":"Kong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Alexander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"Technical Report"},{"key":"ref11","article-title":"Conceptual Mathematics","author":"lawvere","year":"1997","journal-title":"A first introduction to categories"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref13","article-title":"System-level types for component-based design","author":"lee","year":"2000","journal-title":"Technical Report"},{"key":"ref14","first-page":"52","article-title":"Power","author":"mudge","year":"2001","journal-title":"A first-class architectural design con-straint"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253278"},{"key":"ref17","article-title":"Denotational Semantics","author":"stoy","year":"1977","journal-title":"The Scott-Strachey Approach to Programming Language Theory"},{"key":"ref18","first-page":"11","article-title":"Feature-oriented description, formal methods, and dfc","author":"zave","year":"2000","journal-title":"Language Constructs for Describing Features"},{"key":"ref4","article-title":"An overview of sal","author":"bensalem","year":"2000","journal-title":"Proc Fifth NASA Langley Formal Methods Workshop"},{"journal-title":"A Practical Introduction to Denotational Semantics","year":"1986","author":"allison","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2000.855583"},{"key":"ref5","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"buck","year":"1994","journal-title":"Int J Computer Simulation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1999.777988"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194092000038"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.963446"},{"journal-title":"Rosetta Usage Guide","year":"2000","author":"alexander","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"}],"event":{"name":"IEEE Joint International Conference on Requirements Engineering","acronym":"ICRE-02","location":"Essen, Germany"},"container-title":["Proceedings IEEE Joint International Conference on Requirements Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8115\/22462\/01048513.pdf?arnumber=1048513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:40:30Z","timestamp":1489426830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1048513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icre.2002.1048513","relation":{},"subject":[]}}