Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study
Open Access
- 31 August 2003
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 80, 157-169
- https://doi.org/10.1016/s1571-0661(04)80816-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Checking BART Test Scenarios with UML’s Object Constraint LanguagePublished by Springer Science and Business Media LLC ,2006
- The Approach: Integrating Object Oriented Design and Formal VerificationLecture Notes in Computer Science, 2000
- Modular Architecture for a Toolset Supporting OCLLecture Notes in Computer Science, 2000
- A Metamodel for OCLLecture Notes in Computer Science, 1999