Login / Signup

Specifying the structure of large, layered, object-oriented programs (abstract only).

Harold Ossher
Published in: ACM SIGPLAN Notices (1986)
Keyphrases
  • object oriented programs
  • structural properties
  • databases
  • business processes
  • impact analysis