Reliable Software Development: Analysis-Aware Design.

Gerard J. Holzmann

Published in: TACAS (2011)

Keyphrases

software development
case study
software design
information systems
data analysis
design decisions
data sets
open source
object oriented
cost estimation
software evolution
software architecture
business process
image analysis
user interface
artificial intelligence
genetic algorithm
neural network