Formal methods for distributed processing
Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A UML Profile for Real-Time Constraints with the OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A transition logic for schemata conflicts
Data & Knowledge Engineering
Toward a formal model for component interfaces for real-time systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
A Gentle Introduction to System Verification
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Invariant-driven specifications in Maude
Science of Computer Programming
Temporal Extensions of OCL Revisited
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Electronic Notes in Theoretical Computer Science (ENTCS)
Run-Time Checking of Dynamic Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for determining design correctness
Knowledge-Based Systems
Model checking of extended OCL constraints on UML models in SOCLe
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Model-driven, network-context sensitive intrusion detection
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |