Author

I. C. Wand

Observed names: I C Wand, I. C. WAND, I. Wand, I.C Wand, I.C. Wand, IC Wand, Ian Wand, Wand, I

Institution: University of York

Observed institutions: IBM Research - Thomas J. Watson Research Center, University of York

OpenAlex ID: A5111439424

Using PVS to prove a Z refinement: A case study

1997 · David W. J. Stringer-Calvert, Susan Stepney, et al. · Lecture notes in computer science · 18

A.P.I.C. Studies in Data Processing

1989 · M.J.R. Shave, I.C. Wand · Elsevier eBooks · 18

Dependability terminology: similarities and differences

1996 · D. Prasad, J. McDermid, et al. · IEEE Aerospace and Electronic Systems Magazine · 15

The pulse distributed file system

1985 · G. M. Tomlinson, D. Keeffe, et al. · Software Practice and Experience · 14

An assessment of modula

1980 · J. Holden, I. C. Wand · Software Practice and Experience · 11

Pulse: an ada-based distributed operating system (apic studies in data processing No 26)

1985 · D. Keeffe, I. C. Wand, et al. · Academic Press Professional, Inc. eBooks · 7

Facts and figures about the York Ada compiler

1987 · I. C. Wand, J. R. Firth, et al. · ACM SIGAda Ada Letters · 5

Experience with the programming language MODULA

1977 · J Holden, I.C Wand · Annual Review in Automatic Programming · 5

Dependability terminology: similarities and differences

2002 · D. Prasad, J. McDermid, et al. · Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security (COMPASS) · 4

Experience with the Programming Language MODULA

1977 · J. Holden, I.C. Wand · IFAC Proceedings Volumes · 4

The Compilation of Ada

1996 · J. R. FIRTH, C. H. FORSYTH, et al. · Software Practice and Experience · 3

Task time lines as a debugging tool

1996 · J. S. Briggs, S. D. Jamieson, et al. · ACM SIGAda Ada Letters · 2

High integrity software development: process and tool issues

1995 · A.D. Hutcheon, D.T. Jordan, et al. · Microprocessors and Microsystems · 2

Tool support for high integrity Ada software

1994 · A. D. Hutcheon, D. T. Jordan, et al. · Lecture notes in computer science · 2

A Japanese perspective (DP industry)

1991 · I. C. Wand

Features of modern imperative programming languages

1991 · IC Wand · Elsevier eBooks

Book Review: Ada Programming with Applications

1989 · I. C. Wand · International Journal of Electrical Engineering Education

Aspects of portability of the UNIX shell

1985 · D. Keefe, G.M. Tomlinson, et al. · IEE Proceedings E Computers and Digital Techniques

Book review: Computer Science—a Modern Introduction

1983 · I.C. Wand · IEE Proceedings E Computers and Digital Techniques

Introduction to real‐time software design, S. T. Allworth, Macmillan, 1981. No. of pages: 140. Price £5.50

1982 · I. C. Wand · Software Practice and Experience

The LTPL‐E tasking proposals

1981 · M. Kronental, J. W. Roberts, et al. · Software Practice and Experience

Systems implementation languages and IRONMAN

1979 · I. C. Wand · Software Practice and Experience

Works count: 28

Citation count: 110

H-index: 6

I10-index: 5