The Application of Formal Specifications to Software Documentation and Debugging.

Anoop Goyal Sriram Sankar

Published in: AADEBUG (1993)

Keyphrases

formal specification
software testing
software application
object oriented design
software components
formal methods
software architecture
development process
specification language
legacy systems
protocol specification