Phép chuyển từ đặc tả ẩn tang thành chương trình logic

Duong Tuan Anh


This paper presents a way to transform an initial specification of a problem into a PROLOG          program by introducing recursion and through a data retinement step. This transformation contributes to a programming methodology which  intends to derive programs from formal specifications.

Full Text:


DOI: Display counter: Abstract : 70 views. PDF : 50 views.


Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology