Login / Signup

Reasoning about Object-Oriented Programs that Use Subtypes.

Gary T. LeavensWilliam E. Weihl
Published in: OOPSLA/ECOOP (1990)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • impact analysis
  • object oriented
  • black box
  • formal specification
  • multi agent systems
  • test cases
  • database
  • artificial intelligence