Co-evolution of complementary formal and informal requirements

DSpace Home
→
Faculty of Science and Engineering
→
Centres Science and Engineering
→
SQRL - Software Quality Research Laboratory
→
View Item

dc.contributor.author	Krishna, Aneesh
dc.contributor.author	Ghose, Aditya K.
dc.contributor.author	Vilkomir, Sergiy A.
dc.date.accessioned	2009-05-28T11:37:06Z
dc.date.available	2009-05-28T11:37:06Z
dc.date.issued	2004
dc.identifier.citation	Krishna, A., Ghose, A. K., Vilkomir, S., "Co-Evolution of Complementary Formal and Informal Requirements", Proceedings of 7th International Workshop on Principles of Software Evolution (IWPSE'04), September 06 - 07, 2004, Kyoto, Japan, pp. 159-164.	en
dc.identifier.uri	http://hdl.handle.net/10344/165
dc.description	Non-peer-reviewed
dc.description.abstract	Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation [5], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, stakeholder 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.	en
dc.language.iso	eng	en
dc.publisher	IEEE Computer Society	en
dc.relation.ispartofseries	Proceedings of 7th International Workshop on Principles of Software Evolution (IWPSE'04);pp. 159-164
dc.rights	©2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.	en
dc.subject	agent-oriented conceptual modelling
dc.title	Co-evolution of complementary formal and informal requirements	en
dc.type	Conference item	en
dc.type.supercollection	all_ul_research	en
dc.type.restriction	none	en
dc.identifier.local	09SQRL1017