Годишник, 2015, Том XXXII
Permanent URI for this collectionhttp://research.bfu.bg:4000/handle/123456789/1109
Browse
2 results
Search Results
Item THE PREDICATE TRANSFORMER AND ITS APPLICATION IN INTRODUCTION TO PROGRAMMING COURSES(Бургаски свободен университет, 2015) Тодорова, Магдалина; Орозова, Даниела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.Item ПРОВЕЖДАНЕ НА НАУЧНО ИЗСЛЕДВАНЕ(Бургаски свободен университет, 2015) Орозова, ДаниелаThe paper discusses topics, concerning utilization of approaches and instruments for conducting systematic experiments and researches in various scientific fields.