The role of nonmonotonic representations in requirements engineering

International Journal of Software Engineering and Knowledge Engineering

Volumn 8, Issue 3, 1998, Pages 385-399

  Antoniou, Grigoris ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012076312     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194098000212     Document Type: Article

References (39)

1. C. E. Alchourron, P. Gardenfors and D. Makinson, "On the logic of theory change: Partial meet contraction and revision functions", Journal of Symbolic Logic 50 (1985) 510-530.
2. G. Antoniou, Nonmonotonic Reasoning (MIT Press, 1997).
3. W. Atkinson and R. J. Cunningham, "Proving properties of safety-critical systems", Software Engineering Journal 6 (1991) 41-50.
4. R. Balzer, "Tolerating inconsistency", in Proc. 13th Int. Conference on Software Engineering (IEEE Press, 1991), pp. 158-165.
5. W. Bibel, Automated Theorem Proving (Vieweg, 1987).
6. B. Boehm and H. In, "Identifying quality requirement conflicts", IEEE Software, March 1996, pp. 25-35.
7. A. Borgida, "Language features for flexible handling of exceptions in information systems", ACM Transactions on Database Systems 10 (1985) 565-603.
8. G. Brewka, "Reasoning about priorities in default logic", in Proc. 12th National Conference on Artificial Intelligence (AAAI Press, 1994), pp. 940-945.
9. M. Cadoli, F. M. Donini and M. Schaerf, "Is intractability of non-monotonic reasoning a real drawback?", in Proc. 12th National Conference on Artificial Intelligence (AAAI-96) (AAAI Press, 1994), pp. 946-951.
10. P. Cholewinski, "Stratified default logic", in Proc. Computer Science Logic'94 (Springer 1994), pp. 456-470.
11. P. Cholewinski, W. Marek, A. Mikitiuk, and M. Truszczynski, "Experimenting with default logic", in Proc. Int. Conference on Logic Programming (MIT Press, 1995).
12. M. Costa, R. J. Cunningham and J. Booth, "Logical animation", in Proc. 12th Int. Conference on Software Engineering (IEEE Press, 1990), pp. 144-149.
13. A. M. Davis, Software Requirements Analysis and Specification (Prentice-Hall, 1993).
14. S. Easterbrook and B. Nuseibeh, "Inconsistency management in an evolving specification", in Proc. 2nd Int. Symposium on Requirements Engineering (IEEE Press, 1995), pp. 48-55.
15. S. Easterbrook and B. Nuseibeh, "Using ViewPoints for inconsistency management", Software Engineering Journal 11 (1996) 31-43.
16. A. Finkelstein and J. Dowell, "A Comedy of Errors: The London Ambulance Service Case Study", in Proc. 8th Int. Workshop on Software Specification and Design (IEEE Press, 1996), pp. 2-4.
17. P. Gardenfors, "Knowledge in Flux: Modeling the Dynamics of Epistemic States", (MIT Press, 1988).
18. P. Gardenfors and D. Makinson, "Nonmonotonic inference based on expectations", Artificial Intelligence 65 (1994) 197-245.
19. J. A. Goguen, "Formality and informality in requirements engineering", Keynote address at the 2nd Int. Conference on Requirements Engineering (IEEE Press, 1996), pp. 102-108.
20. S. Greenspan, J. Mylopoulos and A. Borgida, "On formal requirements modeling languages: RML revisited", in Proc. Int. Conference on Software Engineering (ICSE16) (IEEE Press, 1994), pp. 135-147.
21. T. M. Hagensen and B. B. Kristensen, "Consistency in software system development: Framework, model, techniques and tools", ACM SIGSOFT 17 (1992) 58-67.
22. A. Hunter and B. Nuseibeh, "Analysing inconsistent specifications", in Proc. Third Int. Symposium on Requirements Engineering (IEEE Press, 1997).
23. J. Karlsson, "Software requirements prioritizing", in Proc. 2nd Int. Conf. on Requirements Engineering (IEEE Press, 1996), pp. 110-116.
24. W. Marek and M. Truszczynski, Nonmonotonic Reasoning (Springer, 1993).
25. E. Mendelson, Introduction to Mathematical Logic (Van Nostrand, 1964).
26. K. Narayanaswamy and N. Goldman, "Lazy consistency: A basis for cooperative software development", in Proc. Int. Conf. on Computer-Supported Cooperative Work, pp. 257-264.
27. I. Niemela, "Towards efficient default reasoning", in Proc. 14th Int. Joint Conference on Artificial Intelligence (Morgan Kaufmann, 1995), pp. 312-318.
28. C. R. Nobe and W. E. Warner, "Lessons learned from a trial application of requirements modeling using statecharts", in Proc. 2nd Int. Conf. on Requirements Engineering (IEEE Press, 1996), pp. 86-93.
29. B. Nuseibeh, J. Kramer and A. Filkenstein, "A framework for expressing the relationships between multiple views in requirements specification", in Proc. 5th Int. Workshop on Computer-Aided Software Engineering (IEEE Press, 1992), pp. 50-60.
30. B. Nuseibeh, "To be and not to be: On managing inconsistency inn software development", in Proc. 8th Int. Workshop on Software Specification and Design (IEEE Press, 1996), pp. 164-169.
31. D. Poole, "A logical framework for default reasoning", Artificial Intelligence 36 (1988) 27-47.
32. R. Reiter, "A logic for default reasoning", Artificial Intelligence 13 (1980) 81-132.
33. H. B. Reubenstein and R. C. Waters, "The requirements apprentice: Automated assistance for requirements acquisition", IEEE Transactions on Software Engineering 17 (1991) 226-240.
34. C. Rich and Y. Feldman, "Seven layers of knowledge representation and reasoning in support of software development", IEEE Transactions on Software Engineering 18 (1992) 451-469.
35. J. A. Robinson, "A machine oriented logic based on the resolution principle", Journal of the ACM 12 (1965) 23-41.
36. W. Robinsin and S. Fickas, "Supporting multi-perspective requirements engineering", in Proc. 1st Int. Conf. on Requirements Engineering (IEEE Press, 1994), pp. 206-215.
37. R. W. Schwanke and G. E. Kaiser, "Living with inconsistency in large systems", in Proc. Int. Workshop on Software Version and Configuration Control (Teubner, 1988), pp. 98-118.
38. D. Zowghi, A. K. Ghose and P. Peppas, "A framework for reasoning about requirements evolution", in Proc. Fourth Pacific Rim Int. Conference on Artificial Intelligence (Springer, 1996), LNAI 1114, pp. 157-168.
39. D. Zowghi and R. Offen, "A logical framework for modeling and reasoning about the evolution of requirements", in Proc. Third Int. Symposium on Requirements Engineering (IEEE Press, 1997).