Deep semantics of visual languages
Grigorenko, Pavel
;
Tõugu, Enn
Knowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
2006
/
p. 83-95 : ill
Integrated system analysis environment for the continuous consistency and completeness checking
Eessaar, Erki
Knowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
2006
/
p. 96-105 : ill
https://www.researchgate.net/publication/221342709_Integrated_System_Analysis_Environment_for_the_Continuous_Consistency_and_Completeness_Checking