Automated abstraction of class diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Formalizing UML Models with Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Developing Control Systems Components
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
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
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Integrating Formal and Informal Specification Techniques. Why? How?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Multi-View Software Evolution: A UML-based Framework for Evolving Object-Oriented Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Applying UML and software simulation for process definition, verification, and validation
Information and Software Technology
System Model-Based Definition of Modeling Language Semantics
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal approach to collaborations in the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A formal semantics for UML interactions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Analysing UML use cases as contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Timing analysis of UML sequence diagrams
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Model-based security engineering with UML: introducing security aspects
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
Integrating a formal development for DSLs into meta-modeling
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
SUDA: a scenario-based UML design analysis approach
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
Hi-index | 0.00 |