Situated modelling of scenarios

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 99-107

  Pinheiro, Francisco A C ^a  

^a UNIVERSITY OF BRASILIA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN ONTOLOGY; NATURAL LANGUAGE SEMANTICS; PARALLEL CONSTRUCTION; PROSIT LANGUAGE;

COMPUTER SYSTEMS; FORMAL LOGIC; INFORMATION THEORY; MATHEMATICAL MODELS; PROCESS CONTROL; SEMANTICS; SOFTWARE ENGINEERING;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 18744395201     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. D. Ahn. A dynamic situation logic. In Fifth International Workshop on Computational Semantics, 2003.
2. V. Akman. Rethinking context as a social construct. Journal of Pragmatics, 2000. Available at www.cs.bilkent.edu.tr/~akman/papers.html.
3. V. Akman and M. Surav. The use of situation theory in context modeling. Computational Intelligence, 12(4), 1996.
4. T. A. Alspaugh and A. I. Anton. Scenario networks: A case study of the enhanced messaging system. In Proc. 7th International Workshop on Requirements Engineering: Foundations for Software Quality, 2001.
5. J. Barwise and J. Perry. Situations and Attitudes. Bradford Books, The MIT Press, 1983.
6. A. W. Black. Some different approaches to DRT. DYANA-II deliverable R3.2, Centre for Cognitive Science, University of Edinburgh, 1993. Available at www-2.cs.cmu.edu/~awb/.
7. A. W. Black. Using a computational situation theoretic language to investigate contemporary semantic theories. Schloss Dagstuhl Seminar IBFI, Report 57, 1993. Available at www-2.cs.cmu.edu/~awb/.
8. E. Börger and R. Gotzhein. The light control case study: A synopsis. Journal of Universal Computer Science, 6(7):582-585, 2000. Special issue on requirements engineering.
9. K. K. Breitman and J. C. S. do Prado Leite. Scenario evolution: A closer view on relationships. In 4th International Conference on Requirements Engineering (ICRE'00), 2000.
10. K. Devlin. Extending Barwise and Perry's relational theory of meaning. In Workshop on Barwise and Situation Semantics, co-located with IV International and Interdisciplinary Conference on Modelling and Using Context, Stanford, CA, June 2003.
11. A. H. Dutoit and B. Peach. Developing guidance and tool support for rationale-based use case specification. In Proc. 7th International Workshop on Requirements Engineering: Foundations for Software Quality, 2001.
12. M. Ersan and V. Akman. Situated modelling of epistemic puzzles. Technical report BU-CEIS-94-30, Bilkent University, Department of Computer Engineering and Information Science, 1994.
13. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
14. A. Fantechi, S. Gnesi, G. Lami, and A. Maccari. Applications of linguistic techniques for use case analysis. Requirements Engineering Journal, 8:161-170, 2003.
15. H. Kamp and U. Reyle. From Discourse to Logic. Kluwer Academic Publishers, 1993.
16. E. Kamsties and B. Peach. Taming ambiguity in natural language requirements. In Proc. ICSSEA 2000, Paris, 2000.
17. D. Leffingwell and D. Widrig. Managing Software Requirements: A Use Case Driven Approach. Addison-Wesley, 2003.
18. R. Loukanova. Quantification and intensionality in situation semantics. In CICling 2002, LNCS 2276, Mexico, 2002. Springer-Verlag.
19. C. Matheson. HPSG grammars in Ale. web course, 1997. available at www.ltg.hcrc.ed.ac.uk/projects/ledtools/ale-hpsg.
20. L. Mich and R. Garigliano. Ambiguity measures in requirements engineering. In Proc. International Conference on Software Theory and Practice, 2000.
21. H. Nakashima, H. Suzuki, P. Halvorsen, and S. Peters. Towards a computational interpretation of situation theory. In International Conference on Fifth Generation Computer Systems (FGCS'88), pages 489-498, Tokyo, 1988.
22. J. N. och Dag, B. Regnell, P. Carlshamre, M. Andersson, and J. Karlsson. Evaluating automated support for requirements similarity analysis in market-driven development. In Proc. 7th International Workshop on Requirements Engineering: Foundations for Software Quality, 2001.
23. F. A. C. Pinheiro. Preliminary thoughts on using situation theory for scenario modelling. In V Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software, pages 272-280, La Habana, Cuba, 23-26, April 2002.
24. S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, and J. Schäfer. The light control case study: Problem description. Journal of Universal Computer Science, 6(7):586-596, 2000. Special issue on requirements engineering.
25. C. Rolland and C. B. Achour. Guiding the construction of textual use case specifications. Data & Knowledge Engineering Journal, 25(12):125-160, 1998.
26. L. K. Schubert. The situations we talk about. In J. Minker, editor, Logic-Based Artificial Intelligence. Kluwer Academic Publishers, 2000.
27. H. Schütze. The PROSIT language, version 0.4. CSLI memo, Center for the Study of Language and Information, Stanford University, Stanford, CA, 1991.
28. J. Seligman. A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC/RP-22, Human Communication Research Centre, Edinburgh, 1991.
29. J. Seligman and L. S. Moss. Situation theory. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 239-309. North Holland, Amsterdam, 1997.
30. E. Tin and V. Akman. Computing with causal theories. International Journal of Pattern Recognition and Artificial Intelligence, 6(4):699-730, 1992.
31. A. van Lamsweerde. Requirements engineering in the year 00: A research perspective. In Proc. 22nd International Conference on Software Engineering, 2000.
32. K. Weidenhaupt, K. Pohl, M. Jarke, and P. Haumer. Scenarios in system development: Current practice. IEEE Software, March/April 1998.
33. T. Weithner, T. Liebig, and G. Specht. Storing and querying ontologies in logic databases. In First International Workshop on Semantic Web and Databases, 2003. Co-located with VLDB2003.
34. W. M. Wilson, L. H. Rosenberg, and L. E. Hyatt. Automated analysis of requirement specification. In Proc. 19th International Conference on Software Engineering, 1997.
35. D. Zowghi, V. Gervasi, and A. McRae. Using default reasoning to discover inconsistencies in natural language requirements. In Proc. 8th Asia-Pacific Software Engineering Conference, 2001.