Class Partitions - A New Approach to Sequential Object-Oriented Programs.

Rajeev R. Raje Daniel Pease Edward T. Guy

Published in: HICSS (1) (1996)

Keyphrases

object oriented programs
integration testing
specification languages
impact analysis
databases
database
complex systems
black box
formal specification