{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:34:42Z","timestamp":1734672882723,"version":"3.32.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342812","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"99-107","source":"Crossref","is-referenced-by-count":1,"title":["Situated modelling of scenarios"],"prefix":"10.1109","author":[{"given":"F.A.C.","family":"Pinheiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"HPSG Grammars in Ale","year":"1997","author":"matheson","key":"19"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991469"},{"journal-title":"Managing Software Requirements A Use Case Driven Approach","year":"2003","author":"leffingwell","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45715-1_3"},{"key":"33","article-title":"Storing and querying ontologies in logic databases","author":"weithner","year":"2003","journal-title":"First International Workshop on Semantic Web and Databases"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2066-1"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253258"},{"key":"16","article-title":"Taming ambiguity in natural language requirements","author":"kamsties","year":"2000","journal-title":"Proc ICSES 2000"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-003-0174-0"},{"key":"11","article-title":"Developing guidance and tool support for rationale-based use case specification","author":"dutoit","year":"2001","journal-title":"Proc 7th Int l Workshop Requirements Eng Foundation for Software Quality"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.1.51"},{"key":"21","first-page":"489","article-title":"Towards a computational interpretation of situation theory","author":"nakashima","year":"1988","journal-title":"Proc Int Conf Fifth Generation Computer Systems (FGCS 88)"},{"key":"20","article-title":"Ambiguity measures in requirements engineering","author":"mich","year":"2000","journal-title":"Proc International Conference on Software Theory and Practice"},{"key":"22","article-title":"Evaluating automated support for requirements similarity analysis in market-driven development","author":"dag","year":"2001","journal-title":"Proc 7th Int l Workshop Requirements Eng Foundation for Software Quality"},{"key":"23","first-page":"272","article-title":"Preliminary thoughts on using situation theory for scenario modelling","author":"pinheiro","year":"2002","journal-title":"X Workshop Iberoamericano de Ingenieri?a de Requisitos y Ambientes de Software"},{"key":"24","first-page":"586","article-title":"The light control case study: Problem description","volume":"6","author":"queins","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(97)86223-4"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1567-8_18"},{"journal-title":"The PROSIT Language Version 0 4","year":"1991","author":"schu?tze","key":"27"},{"key":"28","article-title":"A cut-free sequent calculus for elementary situated reasoning","volume":"hcrc rp 22","author":"seligman","year":"1991","journal-title":"Technical Report"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044481714-3\/50007-2"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00046"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-2166(99)00067-3"},{"key":"10","article-title":"Extending barwise and perry's relational theory of meaning","author":"devlin","year":"2003","journal-title":"Workshop on Barwise and Situation Semantics"},{"key":"1","article-title":"A dynamic situation logic","author":"ahn","year":"2003","journal-title":"Fifth International Workshop on Computational Semantics"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001492000369"},{"key":"7","article-title":"Using a computational situation theoretic language to investigate contemporary semantic theories","author":"black","year":"1993","journal-title":"Schloss Dagstuhl seminar"},{"journal-title":"Some Different Approaches to DRT","year":"1993","author":"black","key":"6"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/52.663783"},{"journal-title":"Situations and Attitudes","year":"1983","author":"barwise","key":"5"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337184"},{"key":"4","article-title":"Scenario networks: A case study of the enhanced messaging system","author":"alspaugh","year":"2001","journal-title":"Proc 7th Int l Workshop Requirements Eng Foundation for Software Quality"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2000.855596"},{"key":"8","first-page":"582","article-title":"The light control case study: A synopsis","volume":"6","author":"bo?rger","year":"2000","journal-title":"Journal of Universal Computer Science"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342812.pdf?arnumber=1342812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T20:44:34Z","timestamp":1734641074000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342812\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342812","relation":{},"subject":[]}}