Formal methods for distributed processing
Automating Support for Software Evolution in UML
Automated Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Proceedings of the IEEE/ACM international conference on Automated software engineering
Object constraint language (OCL): past, present and future
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.02 |