Co-Evolution of Complementary Formal and Informal Requirements

Authors:
Aneesh Krishna;Aditya K. Ghose;Sergiy A. Vilkomir
Affiliations:
University of Wollongong, Australia;University of Wollongong, Australia;University of Limerick, Ireland
Venue:
IWPSE '04 Proceedings of the Principles of Software Evolution, 7th International Workshop
Year:
2004

Citing 0
Cited 5

Hierarchic Decomposition in Agent Oriented Conceptual Modelling

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

Information and Software Technology
Refinement-Preserving Co-evolution

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Fitting System Functionality to Business Needs: Alignment issues and challenges

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Model evolution and refinement

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation [Modelling Strategic Relationships for Process Reengineering], 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.