Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
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...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Dogus University
2000-01-01
|
Series: | Doğuş Üniversitesi Dergisi |
Subjects: | |
Online Access: | http://journal.dogus.edu.tr/index.php/duj/article/view/261 |