Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements

Autor:	Przigoda, Nils, Niemann, Philipp, Filho, Jonas Gomes, Wille, Robert, Drechsler, Rolf
Zdroj:	In Computer Languages, Systems & Structures December 2018 54:512-527
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect