The Combination of Specifications and the Induced Relations in Object Oriented Programs.

G. Steve Hirst T. B. Dinesh

Published in: AMAST (1991)

Keyphrases

object oriented programs
specification languages
formal specification
integration testing
object oriented
high level
machine learning
artificial intelligence
impact analysis
co occurrence
first order logic
black box