Using Strongest Postconditions to Improve Software Quality.

Si Pan R. Geoff Dromey

Published in: Software Quality and Productivity (1994)

Keyphrases

software quality
development process
software systems
artificial intelligence
software development
software projects
information systems
decision making
information technology
software engineering
open source
building blocks