Program Verification in SPARK and ACSL: A Comparative Case Study.

Eduardo Brito Jorge Sousa Pinto

Published in: Ada-Europe (2010)

Keyphrases

case study
open source
comparative analysis
lessons learned
real world
neural network
development process
software development
literature review
knowledge management
expert systems
software engineering
probabilistic model
learning process
information technology
business process
multiscale
high level
social networks