%0 Conference Paper %1 krishna04 %A Krishna, A. %A Ghose, A. K. %A Vilkomir, S. A. %B Proceedings 7th Intl. Workshop on Principles of Software Evolution %D 2004 %J Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of %K formal i-star requirements %P 159--164 %T Co-evolution of complementary formal and informal requirements %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1334782 %X 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.

@inproceedings{krishna04, 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.}, added-at = {2006-03-24T16:34:33.000+0100}, author = {Krishna, A. and Ghose, A. K. and Vilkomir, S. A.}, biburl = {https://www.bibsonomy.org/bibtex/207c4bfbd96f9ea6ff8c3cfd217bd48ed/neilernst}, booktitle = {Proceedings 7th Intl. Workshop on Principles of Software Evolution}, citeulike-article-id = {272257}, description = {sdasda}, interhash = {7530fee1a10e79aaef303450d3a74d21}, intrahash = {07c4bfbd96f9ea6ff8c3cfd217bd48ed}, journal = {Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of}, keywords = {formal i-star requirements}, pages = {159--164}, priority = {3}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Co-evolution of complementary formal and informal requirements}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1334782}, year = 2004 }