M. I. Jackson

According to our database, M. I. Jackson authored at least 3 papers between 1979 and 1985.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1985

Developing Ada Programs Using the Vienna Development Method (VDA).

M. I. Jackson

Softw. Pract. Exp., 1985

Experience of Introducing the Vienna Development Method into an Industrial Organization.

M. I. Jackson, B. Tim Denvir, Roger C. Shaw

Proceedings of the Mathematical Foundations of Software Development, 1985

1979

A Draft Description of Pascal.

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

Softw. Pract. Exp., 1979