Application and benefits of formal methods in software development.

Nico Plat Jan van Katwijk Hans Toetenel

Published in: Softw. Eng. J. (1992)

Keyphrases

formal methods
development lifecycle
software development
model checking
software engineering
formal analysis
object oriented
formal specification
data mining
machine learning
knowledge acquisition
knowledge based systems
software systems
software projects