About this paper

Appears in:
Pages: 4249-4256
Publication year: 2016
ISBN: 978-84-617-5895-1
ISSN: 2340-1095
doi: 10.21125/iceri.2016.1997

Conference name: 9th annual International Conference of Education, Research and Innovation
Dates: 14-16 November, 2016
Location: Seville, Spain

HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING

M. Todorova1, D. Orozova2

1Sofia University (BULGARIA)
2Burgas Free University (BULGARIA)
Increasing software’s complexity leads to augmentation of the quantity of errors in it, leading to increased losses. We can give a lot of examples of errors in the software, causing disruption of network infrastructure, destruction of a spacecraft, even human casualties, etc. This leads to high expenses for software companies to verify the correctness of the software being developed. In response to all that, and to build well-trained software professionals, there is an increase in application of formal methods in training by the universities, training software professionals.

The article presents the authors’ experience in applying of formal methods of program verification and synthesis of totally correct programmes in introduction to programming courses in some Bulgarian universities.

A brief overview of known approaches and tools for programme verification and synthesis of totally correct programs used in courses introduction to programming, object-oriented programming and data structures is presented. Education on the subject is based on axiomatic semantics. The techniques of weakest precondition, design by contract, class invariant, proving theorems and consistency check are used.

Some problems are analyzed and suggestions for improving the results of education in programming through using formal methods are discussed.

The choice of the Project Based Approach in teaching disciplines in the area is motivated.
@InProceedings{TODOROVA2016HOW,
author = {Todorova, M. and Orozova, D.},
title = {HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING},
series = {9th annual International Conference of Education, Research and Innovation},
booktitle = {ICERI2016 Proceedings},
isbn = {978-84-617-5895-1},
issn = {2340-1095},
doi = {10.21125/iceri.2016.1997},
url = {http://dx.doi.org/10.21125/iceri.2016.1997},
publisher = {IATED},
location = {Seville, Spain},
month = {14-16 November, 2016},
year = {2016},
pages = {4249-4256}}
TY - CONF
AU - M. Todorova AU - D. Orozova
TI - HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING
SN - 978-84-617-5895-1/2340-1095
DO - 10.21125/iceri.2016.1997
PY - 2016
Y1 - 14-16 November, 2016
CI - Seville, Spain
JO - 9th annual International Conference of Education, Research and Innovation
JA - ICERI2016 Proceedings
SP - 4249
EP - 4256
ER -
M. Todorova, D. Orozova (2016) HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING, ICERI2016 Proceedings, pp. 4249-4256.
User:
Pass: