Login / Signup

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.

Claudia PonsGabriel BaumMiguel Felder
Published in: SCCC (1998)
Keyphrases
  • artificial intelligence
  • model driven
  • general purpose
  • conceptual model
  • dynamic logic