- -

Rule-Based Software Verification and Correction.

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Rule-Based Software Verification and Correction.

Show full item record

Ballis, D. (2005). Rule-Based Software Verification and Correction [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1948

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/1948

Files in this item

Item Metadata

Title: Rule-Based Software Verification and Correction.
Author: Ballis, Demis
Director(s): Alpuente Frasnedo, María Falaschi, Moreno
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
Issued date:
The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...[+]
Subjects: Software verification , Software correction , Inductive learning , Abstract diagnosis , Rule-based specification languages , Program transformation , Functional logic languages , Formal methods , Rewriting , Web site verification , Simulation
UNESCO code: 120311 - Logicales de ordenadores
120318 - Sistemas de información, diseño y componentes
120323 - Lenguajes de programación
120324 - Teoría de la programación
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/1948
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record