Searching for authors named "Ian Toyn" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Z Notation
- …Z Notation Ian Toyn April 29th, 1997 This draft presents my latest formulations of the syntaxes…
- Add To MetaCart
-
Innovations in the Notation of Standard Z
- …Innovations in the Notation of Standard Z Ian Toyn Department of Computer Science, University…
- Cited by 8 (4 self) – Add To MetaCart
-
Proving properties of Stateflow models using ISO Standard Z and CADiZ
- …Proving Properties of Stateflow Models using ISO Standard Z and CADiZ Ian Toyn and Andy Galloway…
- Cited by 1 (0 self) – Add To MetaCart
-
Retrieving Re-Usable Software Components By Polymorphic Type
- …Retrieving re-usable software components by polymorphic type Colin Runciman Ian Toyn Department…
- Cited by 29 (1 self) – Add To MetaCart
-
D230: Z Notation -- Draft 0.6
- …D230: Z Notation -- Draft 0.6 Ian Toyn November 24th, 1997 This draft incorporates the effects…
- Add To MetaCart
-
A Z Patterns Catalogue: I specification and refactorings, v0.1
- …, and Ian Toyn University of York Technical Report YCS-2003-349 January 2003 Contents 1 Introduction 1 1…
- Add To MetaCart
-
CADiZ: An Architecture for Z Tools and its Implementation
- …CADiZ: An Architecture for Z Tools and its Implementation Ian Toyn and John A. McDermid Email: ian…
- Cited by 18 (7 self) – Add To MetaCart
-
An outline pattern language for Z: five illustrations and two tables
- …, and Ian Toyn Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK. {susan,fiona,ian…
- Cited by 2 (2 self) – Add To MetaCart
-
Type-constrained Generics for Z
- …Type-constrained Generics for Z Samuel H. Valentine 1 , Ian Toyn 1 , Susan Stepney 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Patterns to guide practical refactoring: examples targetting promotion in Z
- … Polack, and Ian Toyn Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK…
- Cited by 8 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
