Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications

Irina Rychkova, Alain Wegmann. Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. In Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with . pages 138-147, INSTICC PRESS, 2007.

Abstract

Abstract is missing.