Co-evolution of complementary formal and informal requirements
Document Type: Conference Paper
This article was originally published as: Krishna, A, Ghose, AK & Vilkomir, SA, Co-evolution of complementary formal and informal requirements, Proceedings 7th International Workshop on principles of Software Evolution (IWPSE2004), 159-164. Copyright 2004.
Abstract
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.
