Checking BART Test Scenarios with UML’s Object Constraint Language
- 17 February 2006
- book chapter
- Published by Springer Science and Business Media LLC
- p. 133-170
- https://doi.org/10.1007/1-4020-7997-4_5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Validating OCL Specifications with the USE Tool: An Example Based on the BART Case StudyElectronic Notes in Theoretical Computer Science, 2003
- Development of UML Descriptions with USELecture Notes in Computer Science, 2002
- 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