An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Specifications of User Requirements
Automated Software Engineering
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Object-oriented behavioral testing through trace generation
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Analysis goal expression language
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
Hi-index | 0.00 |