2008 · 10 citations · 2 references
ComputingComputer ScienceFormal MethodsTransportTransportation EngineeringData ValidationDeductive VerificationDomain AnalysisFunctional VerificationBoundary ValidationDomain ValidationModel-based ValidationPerformance Verification
2
Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices · 2000 · 1.3K citations · Full text
A Precise Approach to Validating UML Models and OCL Constraints
Mark Richters · 2002 · 144 citations