Login / Signup
Assuring Good Style for Object-Oriented Programs.
Karl J. Lieberherr
Ian M. Holland
Published in:
IEEE Softw. (1989)
Keyphrases
</>
object oriented programs
integration testing
specification languages
object oriented
impact analysis
formal specification
data analysis
software engineering
first order logic
web services
black box