Co-evolution of complementary formal and informal requirements
A. Krishna, A. Ghose, and S. Vilkomir. Proceedings 7th Intl. Workshop on Principles of Software Evolution, page 159--164. (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.
%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
}