Co-evolution of complementary formal and informal requirements

Publication Year:
Usage 368
Downloads 277
Abstract Views 91
Repository URL:
Krishna, Aneesh; Ghose, Aditya K; Vilkomir, S. A.
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.