University of Limerick Institutional Repository

Co-evolution of complementary formal and informal requirements

DSpace/Manakin Repository

Show simple item record

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

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account