Extending reliability (Extended Abstract>: Transformational tailoring of abstract mathematical software.

Published in: SIGNUM (1978)

Keyphrases

extended abstract
software reliability
software systems
software development
data sets
software maintenance
software design
high level
software testing
software tools
software components
computer systems
source code
software projects
test cases
data processing
static analysis
commercial software