Deep semantics of visual languagesGrigorenko, Pavel; Tõugu, EnnKnowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering2006 / p. 83-95 : ill

Integrated system analysis environment for the continuous consistency and completeness checkingEessaar, ErkiKnowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering2006 / p. 96-105 : ill