Continuing a Benchmark for UML and OCL Design and Analysis Tools

@inproceedings{Gogolla2016ContinuingAB,
  title={Continuing a Benchmark for UML and OCL Design and Analysis Tools},
  author={Martin Gogolla and Jordi Cabot},
  booktitle={STAF Workshops},
  year={2016}
}
UML and OCL are frequently employed languages in model-based engineering. OCL is supported by a variety of design and analysis tools having different scopes, aims and technological corner stones. The spectrum ranges from treating issues concerning formal proof techniques to testing approaches, from validation to verification, and from logic programming and rewriting to SATbased technology. This paper presents steps towards a well-founded benchmark for assessing UML and OCL validation and… CONTINUE READING
2 Citations
24 References
Similar Papers

Similar Papers

Loading similar papers…