OCL libraries for software specification and representation.

Kevin Lano Shekoufeh Kolahdouz Rahimi Kunxiang Jin

Published in: MoDELS (Companion) (2022)

Keyphrases

test cases
software maintenance
software development
software systems
bug localization
modeling language
source code
representation scheme
formal methods
embedded systems
computer systems
formal specification
tool support
petri net
software tools
software design
software package
digital libraries