Login / Signup
Mike Shackleton
Publication Activity (10 Years)
Years Active: 1999-2000
Publications (10 Years): 0
</>
Publications
</>
Mark R. Whittington
,
Mike Shackleton
A Description of a "Framework Approach" to Evolutionary Systems Development.
PROFES
(2000)
P. Garbett
,
J. P. Parkes
,
Mike Shackleton
,
Stuart Anderson
Secure Synthesis of Code: A Process Improvement Experiment.
World Congress on Formal Methods
(1999)
P. Garbett
,
J. P. Parkes
,
Mike Shackleton
,
Stuart Anderson
A case study in innovative process improvement: code synthesis from formal specifications.
Microprocess. Microsystems
23 (7) (1999)