1985 |
4 | | B. Tim Denvir,
W. T. Harwood,
M. I. Jackson,
M. J. Wray:
The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings
Springer 1985 |
3 | | M. I. Jackson,
B. Tim Denvir,
R. C. Shaw:
Experience of Introducing the Vienna Development Method into an Industrial Organization.
TAPSOFT, Vol.2 1985: 410-422 |
2 | | M. I. Jackson:
Developing Ada Programs Using the Vienna Development Method (VDA).
Softw., Pract. Exper. 15(3): 305-318 (1985) |
1979 |
1 | | A. M. Addyman,
R. Brewer,
D. G. Burnett-Hall,
R. M. De Morgan,
W. Findlay,
M. I. Jackson,
David A. Joslin,
Michael J. Rees,
David A. Watt,
Jim Welsh,
Brian A. Wichmann:
A Draft Description of Pascal.
Softw., Pract. Exper. 9(5): 381-424 (1979) |