loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Rafael del Vado Vírseda ; Fernando Pérez Morente and Eduardo Berbis González

Affiliation: Universidad Complutense de Madrid, Spain

Keyword(s): Software Tools, Semantic Tableaux, Verification, Debugging, Invariants.

Related Ontology Subjects/Areas/Topics: Assessment Software Tools ; Computer-Supported Education ; Learning/Teaching Methodologies and Assessment ; Ubiquitous Learning ; Virtual Labs and Virtual Classrooms

Abstract: While Computational Logic plays an important role in several areas of Computer Science (CS), most educational software developed for teaching logic is not suitable to be used directly in other portions of the CS education domain where the application of logical notions is usually required. In this paper we describe the logic teaching tool TVT based on semantic tableaux that has been developed to help the students to use logic as a formal proof technique in other advanced topics of CS, such as the verification of algorithms, the algorithmic debugging of imperative programs, the formal design of invariants, and the design and derivation of algorithms from logical specifications, which are at the basis of the formal learning of programming techniques and good development of software. We present the design, implementation, and results of the evaluation of this tool by means of several educational experiences during the academic courses 2009/2010 and 2010/2011. From the results of these e xperiences we conclude that the use of the TVT tool in the current CS teaching can help our students to understand more advanced CS concepts and to clarify the formal process involved in the design and analysis of correct and efficient imperative programs. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.220.255.141

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
del Vado Vírseda, R.; Pérez Morente, F. and Berbis González, E. (2012). TVT: A SOFTWARE VERIFICATION PACKAGE FOR THE INTERACTIVE LEARNING OF FORMAL PROGRAMMING TECHNIQUES - An Educational Experience. In Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU; ISBN 978-989-8565-07-5; ISSN 2184-5026, SciTePress, pages 77-82. DOI: 10.5220/0003894400770082

@conference{csedu12,
author={Rafael {del Vado Vírseda}. and Fernando {Pérez Morente}. and Eduardo {Berbis González}.},
title={TVT: A SOFTWARE VERIFICATION PACKAGE FOR THE INTERACTIVE LEARNING OF FORMAL PROGRAMMING TECHNIQUES - An Educational Experience},
booktitle={Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU},
year={2012},
pages={77-82},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003894400770082},
isbn={978-989-8565-07-5},
issn={2184-5026},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Computer Supported Education - Volume 1: CSEDU
TI - TVT: A SOFTWARE VERIFICATION PACKAGE FOR THE INTERACTIVE LEARNING OF FORMAL PROGRAMMING TECHNIQUES - An Educational Experience
SN - 978-989-8565-07-5
IS - 2184-5026
AU - del Vado Vírseda, R.
AU - Pérez Morente, F.
AU - Berbis González, E.
PY - 2012
SP - 77
EP - 82
DO - 10.5220/0003894400770082
PB - SciTePress