Formal Versus Agile: Survival of the Fittest.

Sue Black Paul Boca Jonathan P. Bowen Jason Gorman Mike Hinchey

Published in: Computer (2009)

Keyphrases

formal model
software development
formal methods
data sets
neural network
machine learning
artificial neural networks
evolutionary algorithm
mobile robot
software engineering
formal analysis
survival analysis
formal models
mathematical theory