DocumentCode :
2300641
Title :
Algebraic specifications: state of the art and open perspectives
Author :
Kaplan, Stéphane
Author_Institution :
Dept. of Comput. Sci., Bar-Ilan Univ., Ramat-Gan, Israel
fYear :
1989
fDate :
5-6 Jun 1989
Firstpage :
128
Lastpage :
132
Abstract :
The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field
Keywords :
formal specification; algebraic specifications; formal specifications; Algebra; Contracts; Equations; Formal specifications; Natural languages; Prototypes; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Systems and Software Engineering, 1989. Proceedings., Fourth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-1972-4
Type :
conf
DOI :
10.1109/ICCSSE.1989.72728
Filename :
72728
Link To Document :
بازگشت