Verificator: Educational Tool for Learning Programming
The paper introduces Verificator, our learning programming interface aimed for learningprogramming in C++ at the university beginners’ level. In teaching programming some specificproblems concerning the teaching itself as well as the organization of the teaching process need tobe considered. One of...
Main Authors: | Danijel RADOSEVIC, Tihomir OREHOVACKI, Alen LOVRENCIC |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University
2009-09-01
|
Series: | Informatics in Education |
Subjects: | |
Online Access: | http://www.mii.lt/informatics_in_education/pdf/INFE154.pdf |
Similar Items
-
1957-2007: 50 Years of Higher Order Programming Languages
by: Alen Lovrenčić, et al.
Published: (2009-06-01) -
Automatic Extraction of Program Models for Formal Software Verification
by: de Carvalho Gomes, Pedro
Published: (2015) -
Program Verification of FreeRTOS using Microsoft Dafny
by: Matias, Matthew John
Published: (2014) -
Evaluation of program specification and verification systems
by: Ubhayakar, Sonali S.
Published: (2012) -
Concurrent verification for sequential programs
by: Wickerson, John Peter
Published: (2013)