How to make algebraic specifications more understandable: An experiment with the pluss specification language

Principles of OBJ2

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud et al. · 1985 · 468 citations

Engineering, Linguistic Theory, Abstract Object Theory +21

Partial abstract types

Manfred Broy, Martin Wirsing · Acta Informatica · 1982 · 163 citations

Automated Reasoning, Polymorphism (Computer Science), Type Theory +2

Structured algebraic specifications: A Kernel language

Martin Wirsing · Theoretical Computer Science · 1986 · 138 citations

Structured Algebraic Specifications, Specification Language, Formal Specification +8

Specification of the UNIX Filing System

Carroll Morgan, Bernard Sufrin · IEEE Transactions on Software Engineering · 1984 · 100 citations

Unix Filing System, Engineering, Filing System +19

Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors

Gilles Bernot, Michel Bidoit, Christine Choppy · Theoretical Computer Science · 1986 · 25 citations

Engineering, Verification, Software Analysis +18