Statecharts: A visual formalism for complex systems
Science of Computer Programming
The existence of refinement mappings
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
A framework for modeling transfer protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
MSC-2000 interaction diagrams for the new millennium
Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
cTc - A Tool Supporting the Construction of cTLA-Specifications
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Constraint-oriented formal modelling of OO-systems
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Verification of UML-Based Real-Time System Designs by Means of cTLA
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Model checking and theorem proving: a unified framework
Model checking and theorem proving: a unified framework
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Formal verification of Tokeneer behaviours modelled in fUML using CSP
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Towards a practical approach to check UML/fUML models consistency using CSP
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Lightweight verification of executable models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Automated verification of executable UML models
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
| Hi-index | 0.00 |