Doğuş Üniversitesi Dergisi

Doğuş Üniversitesi Dergisi

Animation of Z Specifications By Translation to Prolog

Yazarlar: Omar SALMAN

Cilt 1 , Sayı 1 , 2000 , Sayfalar -

Konular:-

Anahtar Kelimeler:Formal Methods,Z Specification,Animation,Z Schema

Özet: Formal methods of software development rely on the validation of the specification of the software. Such specification is normally expressed in a formal language such as Z. However, in order to be validated the Z specification must be tested, and to achieve this it has to be transformed into a form that can be executed or animated. Prolog was one of the languages used for animation of Z specifications. This paper explains the techniques used for translating Z schemas into Prolog predicates. It also examines some of this translation shortcomings and unreliable features.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2000, title={Animation of Z Specifications By Translation to Prolog}, volume={1}, publisher={Doğuş Üniversitesi Dergisi}, author={Omar SALMAN}, year={2000} }
APA
KOPYALA
Omar SALMAN. (2000). Animation of Z Specifications By Translation to Prolog (Vol. 1). Vol. 1. Doğuş Üniversitesi Dergisi.
MLA
KOPYALA
Omar SALMAN. Animation of Z Specifications By Translation to Prolog. no., Doğuş Üniversitesi Dergisi, 2000.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri