Co-evolution of complementary formal and informal requirements

A. Krishna, University of Wollongong
A. Ghose, University of Wollongong
S. A. Vilkomir, University of Limerick, Ireland

Article comments

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.