Co-evolution of complementary formal and informal requirements

Publication Year:
2004
Usage 364
Downloads 273
Abstract Views 91
Repository URL:
https://ro.uow.edu.au/infopapers/86
Author(s):
Krishna, Aneesh; Ghose, Aditya K; Vilkomir, S. A.
Tags:
Physical Sciences and Mathematics
lecture / presentation description
Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation by E. Yu (1995)), represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, stake-holder intentions and rationale. There are significant benefits in using formal methods for the development of computer systems and improving their quality. We propose a methodology which permits the use of these two otherwise disparate approaches in a complementary and synergistic fashion for requirements engineering.