Consistency checking and visualization of OCL constraints - Concepedia

Concepedia

Publication | Closed Access

Consistency checking and visualization of OCL constraints

60

Citations

7

References

2000

Year

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer

Lecture notes in computer science

Mathematical ProgrammingConstraint SolvingFormal SpecificationEngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceFormal VerificationConsistency Checking

References

	Year	Citations

Page 1