USE: A UML-based specification environment for validating UML and OCL

DOI10.1016/J.SCICO.2007.01.013zbMath1147.68454OpenAlexW2111445678MaRDI QIDQ2463538

Mark Richters, Martin Gogolla, Fabian Büttner

Publication date: 12 December 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.013

zbMATH Keywords

invariantconstraintmodel validationmodelpre- and post-conditionsUMLOCLmodel certificationmodel execution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

This page was built for publication: USE: A UML-based specification environment for validating UML and OCL