Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

Many modelling techniques tend to address ''late-phase'' requirements while many critical modelling decisions (such as determining the main goals of the system, how the stakeholders depend on each other, and what alternatives exist) are taken during early-phase requirements engin...

Full description

Bibliographic Details
Main Authors: Krishna, Aneesh, Vilkomir, S., Ghose, A.
Format: Journal Article
Published: Elsevier BV 2009
Online Access:http://hdl.handle.net/20.500.11937/17369