Model-Driven Consistency Checking of Behavioural Specifications

Bas Graaf, Arie van Deursen. Model-Driven Consistency Checking of Behavioural Specifications. In João M. Fernandes, Ricardo Jorge Machado, Ridha Khédri, siobhán-clarke, editors, Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings. pages 115-126, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.