Login / Signup
Integrating a formal method into a software engineering process with UML and Java.
Michael Möller
Ernst-Rüdiger Olderog
Holger Rasch
Heike Wehrheim
Published in:
Formal Aspects Comput. (2008)
Keyphrases
</>
source code
detection method
high precision
high accuracy
software systems
pairwise
software development
formal methods
data sets
genetic algorithm
user interface
significant improvement
probabilistic model
software tools