Open AccessAlgebraic methods for specification and formal development of programs
Author(s) -
Donald Sannella,
Andrzej Tarlecki
Publication year - 1999
Publication title -
acm computing surveys
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.079
H-Index - 163
eISSN - 1557-7341
pISSN - 0360-0300
DOI - 10.1145/333580.333589
Subject(s) - computer science , citation , informatics , formal methods , library science , software engineering , engineering , electrical engineering
> axioms, usually in a logicalsystem in which equality has a prominent role, describing the properties that thefunctions are required to satisfy. This property-oriented approach is in contrast toso-called model-oriented specifications which consist of a simple realization of therequired behaviour. A wide variety of di#erent approaches to algebraic specificationtake these two principles as their starting point.Research on algebraic specification has been devoted mainly to the search for...
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom