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.

References

  1. Abrial, J. R. (1996). The B Book. Cambridge University Press.
  2. ASM Course (2001). LC01.html.
  3. Bjorner, D. (1979). The Vienna Development Method: Software Abstraction and Program Synthesis. SpringerVerlag.
  4. Borger, E. and Stark, R. (2003). Abstract State Machines: a Method for High-Level System Design and Analysis. Springer-Verlag.
  5. Dijkstra, E. W. (1974). Programming as a discipline of mathematical nature. Am. Math. Monthly, 81(6):608- 612.
  6. Fitzgerald, J. and Larsen, P. G. (1998). Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press.
  7. Floyd, R. W. (1967). Assigning meanings to programs. In Proc. Symposium on Applied Mathematics, pages 19- 32. American Mathematical Society.
  8. FM Course (2008). http://www.ispras.ru/~RedVerst/ RedVerst/Lectures and training courses/MSU course Formal specification of software/RMain.html.
  9. Hartley, J. and Davies, I. K. (1978). Note-taking: A critical review. Programmed Learning and Educational Technology, (15):207-224.
  10. Johnson, R. T., Johnson, D. W., and Smith, K. A. (1990). Cooperative learning: An active learning strategy for the college classroom. Baylor Educator, pages 11-16.
  11. Kuliamin, V. V., Omelchenko, V. A., and Petrenko, O. L. (2005). Learning advanced software development methods: problems and solutions. Proc. of ISPRAS, pages 91-108.
  12. Meredith, K., Steele, J., and Temple, C., editors (1997). Guidebooks for Reading and Writing for Critical Thinking. The International Reading Association.
  13. Petrenko, O. L. and Omelchenko, V. A. (2003). Rapid training on specification based testing tools. In Proc. SEEFM'2003.
  14. Rae, L., editor (2000). Using Activities in Training and Development. Kogan Page.
  15. RAISE Course (2003). http://www.iist.unu.edu/home/ Unuiist/newrh/II/2/1/1/page.html.
  16. RAISEGroup (1995). The RAISE Development Method. Prentice Hall.
  17. Smirnov, S. A., editor (2001). Pedagogics: Pedagogic Theories, Systems, and Technology. Publishing Center ”Academia”, 4-th edition.
  18. Tassey, G., editor (2002). The Economic Impacts of Inadequate Infrastructure for Software Testing, Final Report. National Institute of Standards and Technology Acquisition and Assistance Division.
  19. VDM Course (2003). http://coursework.cs.ncl.ac.uk/ module/2003/CSC264.
Download


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