Geodesic
Formal Specifications in Software Development: an Overview
Yugoslav journal of operations research, Tome 7 (1997) no. 1, p. 79 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Formal methods find increasing usage for system and software specifications . In this paper, we discuss some benefits resulting from the use of such methods, together with some properties shared by most of them. Some possible criteria for classification are also presented, and a tabular overview is given of some of the most well-known methods. A number of known formal methods are reviewed, and their similarities and differences discussed.
Classification : 68Q60 03B70 68N99
Keywords: Formal specification methods, software specification, formal specification languages 
@article{YJOR_1997_7_1_a6,
     author = {Vojislav B. Mi\v{s}i\'c and Du\v{s}an M. Vela\v{s}evi\'c},
     title = {Formal {Specifications} in {Software} {Development:} an {Overview}},
     journal = {Yugoslav journal of operations research},
     pages = {79 },
     publisher = {mathdoc},
     volume = {7},
     number = {1},
     year = {1997},
     zbl = {0942.68073},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/}
}
TY  - JOUR
AU  - Vojislav B. Mišić
AU  - Dušan M. Velašević
TI  - Formal Specifications in Software Development: an Overview
JO  - Yugoslav journal of operations research
PY  - 1997
SP  - 79 
VL  - 7
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/
LA  - en
ID  - YJOR_1997_7_1_a6
ER  - 
%0 Journal Article
%A Vojislav B. Mišić
%A Dušan M. Velašević
%T Formal Specifications in Software Development: an Overview
%J Yugoslav journal of operations research
%D 1997
%P 79 
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/
%G en
%F YJOR_1997_7_1_a6
Vojislav B. Mišić; Dušan M. Velašević. Formal Specifications in Software Development: an Overview. Yugoslav journal of operations research, Tome 7 (1997) no. 1, p. 79 . http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/