Login / Signup

A Refinement Methodology for Object-Oriented Programs.

Asma TafatSylvain BoulméClaude Marché
Published in: FoVeOOS (2010)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • step wise
  • object oriented
  • data sets
  • information systems
  • first order logic
  • black box