Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Tool support for validating UML and OCL models through automatic snapshot generation
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Real time reactive programming in lucid enriched with contexts
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An architecture for developing context-aware systems
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
Hi-index | 0.00 |