Making specifications executable — Using IPTES Meta-IV

Specifications are not (necessarily) executable

Ian J. Hayes, Cliff B. Jones · Software Engineering Journal · 1989 · 197 citations

Information Processing

Toshitaka KOHDA · Journal of exercise physiology · 1989 · 68 citations · Full text

Software prototyping, formal methods and VDM

Derek Andrews · Information and Software Technology · 1989 · 56 citations

Engineering, Design, Formal Methods +9

IPTES — Incremental Prototyping Technology for Embedded real-time Systems

Petri Pulli, René Elmstrøm · Microprocessing and Microprogramming · 1992 · 22 citations

Engineering, Computer Engineering, Computer Architecture +6