Login / Signup
Upcycling Formal Specifications for Similar Implementations with Arís.
Kuruvilla George Aiyankovil
Rosemary Monahan
Diarmuid P. O'Donoghue
Published in:
ICCBR Workshops (2021)
Keyphrases
</>
formal specification
model checking
object oriented design
augmented reality
specification languages
reverse engineering
specification language
software engineering
general purpose
software testing
process algebra