Improving Software Tests Using Z Specifications.

Hans-Martin Hörcher

Published in: ZUM (1995)

Keyphrases

written in natural language
control flow
software design
software development
high level
software systems
test cases
source code
software tools
data flow
test suite
user interface
commercial software
computer systems
software package
database
software projects
mobile devices