Algebraic methods for specification and formal development of programs
Donald Sannella, Andrzej Tarlecki · ACM Computing Surveys · 1999
> axioms, usually in a logical system in which equality has a prominent role, describing the properties that the functions are required to satisfy. This property-oriented approach is in contrast to so-called model-oriented specifications which consist of a simple realization of the required behaviour. A wide variety of di#erent approaches to algebraic specification take these two principles as their starting point. Research on algebraic specification has been devoted mainly to the search for an adequate account of the fundamental concepts and basic processes involved in the Permission to make digital/hard copy of part or all of this work for personal or classroom use is granted without fee provided that the copies are not made or distributed for profit or commercial advantage, the copyright notice, the title of the publication, and its date appear, and notice is given that copying is by permission of the ACM, Inc. To copy otherwise, to republish,