Research at Burgas Free University >
1. Годишници на БСУ / BFU Yearbooks >
2015 >

Please use this identifier to cite or link to this item: http://research.bfu.bg:8080/jspui/handle/123456789/640

Автори: Todorova, Magdalina
Orozova, Daniela
Ключови Думи: pragramme synthesi
predicate transforme
pragramme synthesi
education in programming
Issue Date: 2015
Издател: Бургаски свободен университет, 8000 Бургас, бул. "Сан Стефано" №62
Цитиране: https://www.bfu.bg/uploads/pages/godihnik-final-2015.pdf
Серия/Отчет но.: TOM XXXII;p. 194-208
Резюме: Current article is dedicated to sharing the authors’ experience in applying the predicate transformer in synthesizing (extaraction) totally correct programmes in introduction to programming courses. The training was delivered in two Bulgarian universities: Sofia University „St Kliment Ohridski” and Burgas Free University. A brief overview of known approaches to programme verification is presented, in addition some problems are analyzed and suggestions for improving the results of education in programming through using formal methods are discussed. The method for programme synthesis under discussion is based on a special function called weakest precondition. It was adapted according to the goals of education in programming based on C++. Methodologies of verification and synthesis of operators for condition and for cycle (while) are formulated. An example is used to show the application of the defined methodology, as well as the use of some techniques for defining the loop invariant. What is argued is the use of project-based approach in this education. Analysis of this approach is presented
URI: http://research.bfu.bg:8080/jspui/handle/123456789/640
ISSN: 1311-221-X
Appears in Collections:2015

Files in This Item:

File Description SizeFormat
194_PDFsam_Годишник 2015 цял.pdf352,73 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback