REAL

Case studies in certified software development

Jebelean, Tudor and Kusper, Gábor and Medve, Anna (2018) Case studies in certified software development. In: AgriaMedia 2017, 2017.10.11-13., Eger.

[img]
Preview
Text
Jebelean.pdf - Published Version

Download (410kB) | Preview

Abstract

Education of competent professionals constitutes the foundation of the effective and efficient development of software systems, and in general of the complex systems needed in the present and in the future. We approach the improvement of education in software engineering by developing case studies in certified software development. On one hand, this contributes to the education of students, of the academic personnel, and of the industrial practitioners. On the other hand, we aim at producing best practice examples for illustrating the benefits of using formal models and of model based software engineering in concrete industrial environments.

Item Type: Conference or Workshop Item (Paper)
Subjects: Z Bibliography. Library Science. Information Resources / könyvtártudomány > Z665 Library Science. Information Science / könyvtártudomány, információtudomány
Depositing User: Tibor Gál
Date Deposited: 19 Dec 2018 11:00
Last Modified: 05 Apr 2023 07:53
URI: http://real.mtak.hu/id/eprint/88736

Actions (login required)

Edit Item Edit Item