Formal Specifications in Software Development: an Overview
Vojislav B. Mišić; Dušan M. Velašević
The Yugoslav Journal of Operations Research (1997)
- Volume: 7, Issue: 13, page 79-96
- ISSN: 0354-0243
Access Full Article
top
How to cite
topVojislav B. Mišić, and Dušan M. Velašević. "Formal Specifications in Software Development: an Overview." The Yugoslav Journal of Operations Research 7.13 (1997): 79-96. <http://eudml.org/doc/261803>.
@article{VojislavB1997,
author = {Vojislav B. Mišić, Dušan M. Velašević},
journal = {The Yugoslav Journal of Operations Research},
keywords = {formal specification; software development; Z; VDM; IOTA; OBJ; La},
language = {eng},
number = {13},
pages = {79-96},
publisher = {Faculty of Organizational Sciences},
title = {Formal Specifications in Software Development: an Overview},
url = {http://eudml.org/doc/261803},
volume = {7},
year = {1997},
}
TY - JOUR
AU - Vojislav B. Mišić
AU - Dušan M. Velašević
TI - Formal Specifications in Software Development: an Overview
JO - The Yugoslav Journal of Operations Research
PY - 1997
PB - Faculty of Organizational Sciences
VL - 7
IS - 13
SP - 79
EP - 96
LA - eng
KW - formal specification; software development; Z; VDM; IOTA; OBJ; La
UR - http://eudml.org/doc/261803
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.