Konu "Z Specification" için listeleme
Toplam kayıt 1, listelenen: 1-1
-
Animation of Z secifications by translation to prolog
(Doğuş Üniversitesi, 2000-01-15)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 ...