Challenges in Increasing Tool Support for Programming.

K. Rustan M. Leino

Published in: ICTAC (2004)

Keyphrases

tool support
software development
software tools
software engineering
software projects
design decisions
programming language
test suite
expert systems
lessons learned
open source
intrusion detection
neural network
trade off
cooperative
case study
machine learning