Kwan W. LEE

Refinement and Validation of Software Requirements Using Incremental Simulation
Kyo-Chul KANG  Kwan W. LEE  Ji-young LEE  Jounghyun (Gerard) KIM  Hye-jung KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/02/20
Vol. E81-D  No. 2  pp. 171-182
Type of Manuscript: PAPER
Category: Sofware System
Keyword: 
real-time systems,  requirements specification,  requirements analysis,  specification execution,  statechart,  validation,  verification,  incremental development, 
  Summary |  Full Text:PDF (1.2MB)