Login / Signup

Declarative Specialization of Object-Oriented Programs.

Eugen-Nicolae VolanschiCharles ConselGilles MullerCrispin Cowan
Published in: OOPSLA (1997)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • impact analysis
  • object oriented
  • black box
  • formal specification
  • knowledge representation
  • data sets
  • high level