Tool Support for Correctness-by-Construction.

Tobias Runge Ina Schaefer Loek Cleophas Thomas Thüm Derrick G. Kourie Bruce W. Watson

Published in: FASE (2019)

Keyphrases

tool support
software development
software tools
software engineering
design decisions
data mining
object oriented
requirements engineering
data sets
real world
genetic algorithm
artificial intelligence
information systems
information technology
software projects