Login / Signup

RAMBAM: a notation and methodology for man-machine dialogue specification.

Lawrence Pfeffer
Published in: ACM SIGPLAN Notices (1973)
Keyphrases
  • man machine
  • formal specification
  • user defined
  • modeling language
  • conceptual model
  • knowledge level
  • formal methods
  • specification language
  • business process modeling