Publication | Closed Access
USE: A UML-based specification environment for validating UML and OCL
439
Citations
6
References
2007
Year
Specification LanguageFormal SpecificationEngineeringUml-based Specification EnvironmentProgram AnalysisAutomated ReasoningSoftware TestingVerificationSystem SpecificationFormal MethodsSoftware EngineeringSystems EngineeringUml DesignFormal VerificationSoftware AnalysisSystem SoftwareSoftware DesignSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1