Formal methods for distributed processing
Automating Support for Software Evolution in UML
Automated Software Engineering
Expressing Constraint Models in Object Oriented Data Using UML and ODL
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Integrity Constraint Enforcement by Means of Trigger Templates
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
StateLator - Behavioral Code Generation as an Instance of a Model Transformation
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
A Formal Semantics for OCL 1.4
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Meta-model Facility for a Family of UML Constraint Languages
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
On the Precise Meaning of OCL Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object models as heap invariants
Programming methodology
Towards Efficient Support for Executing the Object Constraint Language
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
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
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Formal hardware specification languages for protocol compliance verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Specifications, not meta-models
Proceedings of the 2006 international workshop on Global integrated model management
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Scenario Description Language for Multi-agent Systems
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Towards three-dimensional representation and animation of UML diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Methodology for the development of executable system architecture
Proceedings of the 8th International Conference on Frontiers of Information Technology
ER'11 Proceedings of the 30th international conference on Conceptual modeling
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Dynamic constraint-based invocation of web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A logic-based semantics for the verification of multi-diagram UML models
ACM SIGSOFT Software Engineering Notes
On verifying ATL transformations using 'off-the-shelf' SMT solvers
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |