ANIMATION OF Z SPECIFICATIONS BY TRANSLATION TO PROLOG

Home Page
About
Submit A Journal
Submit A Conference
Submit Paper/Book
- Submit a Preprint
- Submit a Book
Contact

Doğuş Üniversitesi Dergisi
Volume:1 Issue:1
ANIMATION OF Z SPECIFICATIONS BY TRANSLATION TO PROLOG

ANIMATION OF Z SPECIFICATIONS BY TRANSLATION TO PROLOG

Authors : Omar SALMAN

Pages : 155-167

View : 31 | Download : 11

Publication Date : 2000-01-01

Article Type : Research Paper

Abstract :Yazılım geliştirebilmenin formal metodları o yazılım tanımlamasının geçerliliğine bağlıdır. Böyle bir tanımlama genelde 'Z' gibi bir formal dilde ifade edilir. A ncak, geçerli olması için, 'Z' tanımlaması test edilmeli, bunu yapabilmek için de anim asyon yapılabilecek ve icra edilebilecek bir forma transfer edilebilmelidir. 'Z' tanımlamalarının animasyonları için kullanılan dillerden birisi Prolog'dur. Bu makalede 'Z' şemalarını Prolog'a çeviren teknikler açıklanmaktadır.Aym zamanda bu tür bir çevirmenin eksikleri ve belirsizlikleri üzerinde durulacaktır
Keywords : form al metodlar, Z ' tanımlama dili, animasyon, Z ' şeması

ORIGINAL ARTICLE URL

* There may have been changes in the journal, article,conference, book, preprint etc. informations. Therefore, it would be appropriate to follow the information on the official page of the source. The information here is shared for informational purposes. IAD is not responsible for incorrect or missing information.