Further Lessons from the JML Project.

Gary T. Leavens David R. Cok Amirfarhad Nilizadeh

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

case study
software development
interactive video
real time
future plans
european project
current status
lessons learned
eu funded
project managers
data collection
software engineering
evolutionary algorithm
multi agent
multiscale
website
image processing
computer vision