Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Hi-index | 0.00 |