Login / Signup

Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique.

Ji-Hyun LeeCheol-Jung YooOk-Bae Chang
Published in: ACM SIGPLAN Notices (2002)
Keyphrases
  • formal specification
  • object oriented design
  • database
  • databases
  • machine learning
  • model checking
  • specification languages
  • information technology
  • specification language