Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
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
Towards consistency-preserving model evolution
Proceedings of the International Workshop on Principles of Software Evolution
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
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
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Consistent Interaction Of Software Components
Journal of Integrated Design & Process Science - Component-Based System Development
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Extending interface automata with z notation
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |