Вы здесь

Liu S.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formalization, Testing and Execution of a Use Case Diagram 2003 Shen W., Liu S. Lecture Notes in Computer Science 09.01.2004
СТ Developing Quality Software Systems Using the SOFL Formal Engineering Method 2002 Liu S. Lecture Notes in Computer Science 20.11.2002
СТ Supporting Rigorous Reviews of Formal Specifications Using Fault Trees 2000 Liu S., Woodcock J. 16th World Computer Congress 2000 06.03.2001
СТ Verifying Consistency and Validaty of Formal Specifications by Testing 1999 Liu S. Lecture Notes in Computer Science 30.10.1999
СТ SOFL: A Formal Engineering Methodology for Industrial Applications 1998 Liu S., Offutt A. J., Ho-Stuart C., Sun Y., Ohba M. IEEE Trans. on Software Engineering 29.05.1998
СТ A Performance Study of Concurrency Control in a Real-Time Main Memory Database System 1993 Gruenwald L., Liu S. SIGMOD Record 16.02.1994