 | 1998 |
|---|
| 10 |       | Lee Blaine,
Limei Gilham,
Junbo Liu,
Douglas R. Smith,
Stephen J. Westfold:
Planware - Domain-Specific Synthesis of High-Performance Schedulers.
ASE 1998: 270- |
| 1995 |
|---|
| 9 |  | Bernd Krieg-Brückner,
Junbo Liu,
Hui Shi,
Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments.
KORSO Book 1995: 270-284 |
| 1993 |
|---|
| 8 | | Bernd Krieg-Brückner,
Junbo Liu,
Burkhart Wolff,
Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments.
GI Jahrestagung 1993: 241-246 |
| 7 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
Uniform Transformational Development.
PROSPECTRA Book 1993: 317-330 |
| 6 | | Junbo Liu,
Owen Traynor,
Steen Lynenskjold:
Guided Tour of the PROSPECTRA System.
PROSPECTRA Book 1993: 331-366 |
| 5 | | Junbo Liu,
Bernd Krieg-Brückner:
Transformation.
PROSPECTRA Book 1993: 99-127 |
| 1992 |
|---|
| 4 | | Junbo Liu:
A Semantic Basis of Logic-Independent Transformation.
COMPASS/ADT 1992: 268-279 |
| 3 | | Junbo Liu,
Owen Traynor,
Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming.
SEKE 1992: 632-639 |
| 1991 |
|---|
| 2 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2) 1991: 363-397 |
| 1990 |
|---|
| 1 | | Yulin Feng,
Junbo Liu:
A Temporal Approach to Algebraic Specifications.
CONCUR 1990: 216-229 |
