Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir. Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 455-460, 2005.

The following publications are possibly variants of this publication:

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual modelsAneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose. INFSOF, 51(2):478-496, 2009. [doi]

runs on WebDSL