Animation of Z Specifications By Translation to Prolog | Zendy

Omar Salman | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Animation of Z Specifications By Translation to Prolog

Author(s) -

Omar Salman

Publication year - 2000

Publication title -

doğuş üniversitesi dergisi

Language(s) - Turkish

Resource type - Journals

eISSN - 1308-6979

pISSN - 1302-6739

DOI - 10.31671/dogus.2019.403

Subject(s) - translation (biology) , prolog , programming language , computer science , animation , engineering drawing , computer graphics (images) , engineering , chemistry , biochemistry , messenger rna , gene

Yazilim gelistirebilmenin formal metodlari o yazilim tanimlamasinin gecerliligine baglidir. Boyle bir tanimlama genelde 'Z' gibi bir formal dilde ifade edilir. Ancak, gecerli olmasi icin, 'Z' tanimlamasi test edilmeli, bunu yapabilmek icin de animasyon yapilabilecek ve icra edilebilecek bir forma transfer edilebilmelidir. 'Z' tanimlamalarinin animasyonlari icin kullanilan dillerden birisi Prolog'dur. Bu makalede 'Z' semalarini Prolog'a ceviren teknikler aciklanmaktadir.Aym zamanda bu tur bir cevirmenin eksikleri ve belirsizlikleri uzerinde durulacaktir.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research