Transformation techniques can make students excited about formal methods-Reference-Cited by-同舟云学术

Transformation techniques can make students excited about formal methods

Published:2008-11 Issue:12 Volume:50 Page:1295-1304
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Van Gorp P.,Schippers H.,Demeyer S.,Janssens D.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference38 articles.

1. V.L. Almstrum, C.N. Dean, D. Goelman, T.B. Hilburn, J. Smith, Support for teaching formal methods, in: ACM Special Interest Group on Computer Science Education (Ed.), ITiCSE-WGR’00: Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, ACM, New York, NY, USA, 2001, pp. 71–88.

2. P. Boca, J.P. Bowen, D.A. Duce (Eds.), Teaching Formal Methods: Practice and Experience, Electronic Workshops in Computing (eWiC), BCS London Office, UK, 2006.

3. C. Bock, Visuelle domänenspezifische sprachen-der schlüssel zur modellgetriebenen entwicklung von mensch-maschine-schnittstellen? 10 (2006). Available from: .

4. E. Boerger, Teaching ASMs to practice-oriented students with limited mathematical background, In Duce [14], pp. 5–12.

5. M. Bohlen et al., AndroMDA Model Driven Architecture framework 2007. Available from: .

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Teaching Software Modelling in an Undergraduate Introduction to Software Engineering;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09

2. The MDE Diploma: first international postgraduate specialization in model-driven engineering;Computer Science Education;2011-12

3. An Educational Tool for the Ant Colony Optimization Algorithm;2009 First International Workshop on Education Technology and Computer Science;2009