• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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