|
СТ |
A Performance Study of Concurrency Control in a Real-Time Main Memory Database System |
1993 |
Gruenwald L., Liu S. |
|
|
|
SIGMOD Record |
16.02.1994 |
|
СТ |
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 |
|
СТ |
Verifying Consistency and Validaty of Formal Specifications by Testing |
1999 |
Liu S. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Supporting Rigorous Reviews of Formal Specifications Using Fault Trees |
2000 |
Liu S., Woodcock J. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
Developing Quality Software Systems Using the SOFL Formal Engineering Method |
2002 |
Liu S. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Formalization, Testing and Execution of a Use Case Diagram |
2003 |
Shen W., Liu S. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
