| 2002 |
|---|
| 7 | EE | Hong Zhu,
Lingzi Jin,
Dan Diaper,
Ganghong Bai:
Software requirements validation via task analysis.
Journal of Systems and Software 61(2): 145-169 (2002) |
| 2000 |
|---|
| 6 | EE | Hong Zhu,
Lingzi Jin:
Automating Scenario-Driven Structured Requirements Engineering.
COMPSAC 2000: 311- |
| 5 | EE | Hong Zhu,
Lingzi Jin:
Scenario Analysis in an Automated Tool for Requirements Engineering.
Requir. Eng. 5(1): 2-22 (2000) |
| 1997 |
|---|
| 4 | | Lingzi Jin,
Hong Zhu:
Automatic Generation of Formal Specification from Requirements Definition.
ICFEM 1997: 243-251 |
| 3 | EE | Lingzi Jin,
Hong Zhu,
Patrick A. V. Hall:
Adequate testing of hypertext applications.
Information & Software Technology 39(4): 225-234 (1997) |
| 1996 |
|---|
| 2 | | J. Xu,
Lingzi Jin,
Hong Zhu:
Tool support of orderly transition from informal to formal descriptions in requirements engineering.
IFIP World Conference on IT Tools 1996: 199-206 |
| 1989 |
|---|
| 1 | | Hong Zhu,
Lingzi Jin:
A Knowledge-Based System to Synthesize FP Programs from Examples.
EPIA 1989: 234-245 |
