A toolset to support the construction and animation of formal specifications

Safety-critical systems, formal methods and standards

Jonathan P. Bowen, V. Stavridou · Software Engineering Journal · 1993 · 295 citations

Engineering, Computer Science, Systems Engineering +16

Specifications are not (necessarily) executable

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

Engineering, Computer Science, Formal Methods +13

Specifications are (preferably) executable

Norbert E. Fuchs · Software Engineering Journal · 1992 · 173 citations

Computing, Computer Science, Formal Methods +11

Stop the life-cycle, I want to get off

G. R. Gladden · ACM SIGSOFT Software Engineering Notes · 1982 · 149 citations

Management, Knowledge Management, Knowledge Preservation +5

Functional programming, formal specification, and rapid prototyping

Peter Henderson · IEEE Transactions on Software Engineering · 1986 · 102 citations

Computing, Computer Science, Design +15