Ian Toyn

According to our database, Ian Toyn authored at least 27 papers between 1986 and 2010.

Collaborative distances:

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

2010

Transformation Rules for Z.

Mark Utting, Petra Malik, Ian Toyn

Chic. J. Theor. Comput. Sci., 2010

2007

Integrating safety and formal analyses using UML and PFS.

Frantz Iwu, Andy Galloway, John A. McDermid, Ian Toyn

Reliab. Eng. Syst. Saf., 2007

Formal Validation of Hierarchical State Machines against Expectations.

Ian Toyn, Andy Galloway

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2005

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.

Ian Toyn, Andy Galloway

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

On the Formal Development of Safety-Critical Software.

Andy Galloway, Frantz Iwu, John A. McDermid, Ian Toyn

Proceedings of the Verified Software: Theories, 2005

2003

ZML: XML Support for Standard Z.

Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Outline Pattern Language for Z: Five Illustrations and Two Tables.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Modelling and Analysing Fault Propagation in Safety-Related Systems.

Frantz Iwu, Ian Toyn

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

2002

Refactoring in maintenance and development of Z specifications.

Susan Stepney, Fiona Polack, Ian Toyn

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Characters + Mark-up = Z Lexis.

Ian Toyn, Susan Stepney

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2000

Type-Constrained Generics for Z.

Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Typechecking Z.

Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

On Mutually Recursive Free Types in Z.

Ian Toyn, Samuel H. Valentine, David A. Duffy

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Reasoning Inductively about Z Specifications via Unification.

David A. Duffy, Ian Toyn

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1998

A practical language and toolkit for high-integrity tools.

Ian Toyn, David Michael Cattrall, John A. McDermid, Jeremy L. Jacob

J. Syst. Softw., 1998

Innovations in the Notation of Standard Z.

Ian Toyn

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1995

CADiZ: An Architecture for Z Tools and its Implementation.

Ian Toyn, John A. McDermid

Softw. Pract. Exp., 1995

1994

Efficient Binary Transfer of Pointer Structures.

Ian Toyn, Alan J. Dix

Softw. Pract. Exp., 1994

1993

An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming.

Colin Runciman, Ian Toyn, Mike Firth

J. Funct. Program., 1993

1991

Retrieving Reusable Software Components by Polymorphic Type.

Colin Runciman, Ian Toyn

J. Funct. Program., 1991

1990

CADIZ - Computer Aided Design in Z.

David Jordan, John A. McDermid, Ian Toyn

Proceedings of the Z User Workshop, 1990

1989

Retrieving Re-Usable Software Components by Polymorphic Type.

Colin Runciman, Ian Toyn

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1987

Exploratory environments for functional programming.

Ian Toyn

PhD thesis, 1987

Performance polymorphism.

Ian Toyn, Alan J. Dix, Colin Runciman

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations.

Ian Toyn, Colin Runciman

New Gener. Comput., 1986