FORMAL METHODS: FOR ALL OR FOR CHOSEN?

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko

2009

Abstract

The article presents an approach to teaching formal methods that may make them accessible for ordinary software engineers, especially those who are not skilled in the underlying mathematics. The approach is based on two ideas. First, we propose modification of course contents to hide the underlying mathematical techniques under some terms and actions familiar to the engineer or student learning the corresponding application domain. This usually requires availability of mature tools supporting formal methods under consideration. Second, we modify the presentation of course material and focuse mostly on active learning and more deep students' involvement in the learning process. This approach was successfully used in traditional courses and trainings in UniTESK, a test development technology based on formal specifications.

Paper Citation

in Harvard Style

V. Kuliamin V., A. Omelchenko V. and L. Petrenko O. (2009). FORMAL METHODS: FOR ALL OR FOR CHOSEN? . In Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-8111-82-1, pages 217-222. DOI: 10.5220/0002153902170222

in Bibtex Style

@conference{csedu09,
author={Victor V. Kuliamin and Vitaliy A. Omelchenko and Olga L. Petrenko},
title={FORMAL METHODS: FOR ALL OR FOR CHOSEN?},
booktitle={Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2009},
pages={217-222},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002153902170222},
isbn={978-989-8111-82-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - FORMAL METHODS: FOR ALL OR FOR CHOSEN?
SN - 978-989-8111-82-1
AU - V. Kuliamin V.
AU - A. Omelchenko V.
AU - L. Petrenko O.
PY - 2009
SP - 217
EP - 222
DO - 10.5220/0002153902170222