Co-evolution of complementary formal and informal requirements
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.
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.
A. Krishna, A. Ghose, and S. A. Vilkomir. "Co-evolution of complementary formal and informal requirements" Faculty of Informatics - Papers (2004).
Available at: http://works.bepress.com/aghose/24