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 |