Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A framework for adding time into formal object models
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A formal framework for modelling and analysing mobile systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal model of the Semantic Web Service Ontology (WSMO)
Information Systems
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |