Mike Shackleton

According to our database, Mike Shackleton authored at least 3 papers between 1999 and 2000.

Collaborative distances:

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

2000

A Description of a "Framework Approach" to Evolutionary Systems Development.

Mark R. Whittington, Mike Shackleton

Proceedings of the Product Focused Software Process Improvement, 2000

1999

A case study in innovative process improvement: code synthesis from formal specifications.

P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson

Microprocess. Microsystems, 1999

Secure Synthesis of Code: A Process Improvement Experiment.

P. Garbett, J. P. Parkes, Mike Shackleton, Stuart Anderson

Proceedings of the FM'99 - Formal Methods, 1999