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

Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information \& Software Technology, 51(2):478-496, 2009. [doi]

Abstract

Abstract is missing.