A Modular Method for Global System Behaviour Specification

Urooj Fatima, Rolv Bræk. A Modular Method for Global System Behaviour Specification. In Slimane Hammoudi, Luís Ferreira Pires, Philippe Desfray, Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. pages 490-497, SciTePress, 2015. [doi]

Abstract

Abstract is missing.