Artificial Intelligence and Machine Learning (AIML) Volume (14), Issue (I) August, 2014 (original) (raw)
Related papers
Consistent Code Generation from UML Models
2005 Australian Software Engineering Conference, 2005
An Automatic Verification Tool for UML
Automatic transformation of UML models for system verification
2001
The Refinement Validation of ATM Model by Using UML-B
A UML-based pattern specification technique
2004
Verification of UML models by translation to UML-B
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011
A Tool for Checking Conformance of UML Specification
Proceedings of the 2009 World Academic of …, 2009
UML automatic verification tool with formal methods
Carlos E Cuesta, Pablo de la Fuente
Electronic Notes in …, 2005
Design Automation for Embedded Systems, 2004
An overview of a method and its support tool for generating B specifications from UML notations
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000
Development and Verification of UML Architectures by Refinement and Extension Techniques
2018
A contractual approach for the verification of UML2.0 software architectures
International Journal of Computer Applications in Technology
Formal Verification of UML Profile
2011
TITLE: Model Based Programming: Executable UML with Sequence Diagrams
UML-Checker: An Approach for Verifying UML Behavioral Diagrams
Journal of Software, 2014
Live and let die: LSC based verification of UML models
Science of Computer Programming, 2005
Practical Verification Strategy for Refinement Conditions in UML Models
IFIP International Federation for Information Processing, 2006
An OCL extension for checking and transforming UML Models
A model-based framework for automatic generation of a pattern language verifier
Software: Practice and Experience, 2017
P-UML - A Pattern Design Language with a Formal Semantics
Proceedings of the 15th International Conference on Enterprise Information Systems, 2013
Formal and efficient verification techniques for Real-Time UML models