Validation of UML and OCL Models by Automatic Snapshot Generation

This publication has 14 references indexed in Scilit:

• How You Could Use NEPTUNE in the Modelling Process.
  The Journal of Object Technology, 2003
• A Multi-formalism Approach for the Validation of UML Models
  Formal Aspects of Computing, 2000
• The Approach: Integrating Object Oriented Design and Formal Verification
  Published by Springer Nature ,2000
• Automated Test Case Generation from Dynamic Models
  Published by Springer Nature ,2000
• HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing
  Published by Springer Nature ,2000
• Using UML Collaboration Diagrams for Static Checking and Test Generation
  Published by Springer Nature ,2000
• Modular Architecture for a Toolset Supporting OCL
  Published by Springer Nature ,2000
• A Lightweight Approach to Formal Methods
  Published by Springer Nature ,1999
• Validating Distributed Software Modeled with the Unified Modeling Language
  Published by Springer Nature ,1999
• Building Object Applications that Work
  Published by Cambridge University Press (CUP) ,1997