Login / Signup

Formal Object-Oriented Analysis and Design of an Online Ticketing System.

Xiaoshan LiZhiming LiuZhensheng Guo
Published in: APSEC (2001)
Keyphrases
  • object oriented analysis and design
  • formal specification
  • knowledge base
  • data driven
  • life cycle