Co-Evolution of Complementary Formal and Informal Requirements
Aneesh Krishna, Sergiy Vilkomir, See Profile, Aneesh Krishna, Aditya K. Ghose, Sergiy Vilkomir · Arrow@dit (Dublin Institute of Technology) · 2004
Agent-oriented Conceptual Modelling (AoCM, as exem-plified by the i * notation [5], represents an interesting ap-proach to modelling early phase requirements that is partic-ularly effective in capturing organizational contexts, stake-holder intentions and rationale. There are significant ben-efits in using formal methods for the development of com-puter 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. 1.