Ian Toyn

Publication Activity (10 Years)

Years Active: 1986-2010
Publications (10 Years): 0

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Mark Utting, Petra Malik, Ian Toyn
Transformation Rules for Z. Chic. J. Theor. Comput. Sci. 2010 (2010)
Mark Utting, Petra Malik, Ian Toyn
Transformation Rules for Z. CATS (2009)
Ian Toyn, Andy Galloway
Formal Validation of Hierarchical State Machines against Expectations. ASWEC (2007)
Frantz Iwu, Andy Galloway, John Alexander McDermid, Ian Toyn
Integrating safety and formal analyses using UML and PFS. Reliab. Eng. Syst. Saf. 92 (2) (2007)
Ian Toyn, Andy Galloway
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ZB (2005)
Andy Galloway, Frantz Iwu, John Alexander McDermid, Ian Toyn
On the Formal Development of Safety-Critical Software. VSTTE (2005)
Susan Stepney, Fiona Polack, Ian Toyn
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB (2003)
Frantz Iwu, Ian Toyn
Modelling and Analysing Fault Propagation in Safety-Related Systems. SEW (2003)
Susan Stepney, Fiona Polack, Ian Toyn
An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB (2003)
Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
ZML: XML Support for Standard Z. ZB (2003)
Susan Stepney, Fiona Polack, Ian Toyn
Refactoring in maintenance and development of Z specifications. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Ian Toyn, Susan Stepney
Characters + Mark-up = Z Lexis. ZB (2002)
Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King
Typechecking Z. ZB (2000)
Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King
Type-Constrained Generics for Z. ZB (2000)
David A. Duffy, Ian Toyn
Reasoning Inductively about Z Specifications via Unification. ZB (2000)
Ian Toyn, Samuel H. Valentine, David A. Duffy
On Mutually Recursive Free Types in Z. ZB (2000)
Ian Toyn
Innovations in the Notation of Standard Z. ZUM (1998)
Ian Toyn, David Michael Cattrall, John Alexander McDermid, Jeremy L. Jacob
A practical language and toolkit for high-integrity tools. J. Syst. Softw. 41 (3) (1998)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)
Ian Toyn, John Alexander McDermid
CADiZ: An Architecture for Z Tools and its Implementation. Softw. Pract. Exp. 25 (3) (1995)
Ian Toyn, Alan J. Dix
Efficient Binary Transfer of Pointer Structures. Softw. Pract. Exp. 24 (11) (1994)
Colin Runciman, Ian Toyn, Mike Firth
An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. J. Funct. Program. 3 (1) (1993)
Colin Runciman, Ian Toyn
Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1 (2) (1991)
David Jordan, John Alexander McDermid, Ian Toyn
CADIZ - Computer Aided Design in Z. Z User Workshop (1990)
Colin Runciman, Ian Toyn
Retrieving Re-Usable Software Components by Polymorphic Type. FPCA (1989)
Ian Toyn, Alan J. Dix, Colin Runciman
Performance polymorphism. FPCA (1987)
Ian Toyn, Colin Runciman
Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. New Gener. Comput. 4 (4) (1986)

Ian Toyn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ian Toyn