- -

Rule-Based Software Verification and Correction.

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Rule-Based Software Verification and Correction.

Mostrar el registro completo del ítem

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

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

Ficheros en el ítem

Metadatos del ítem

Título: Rule-Based Software Verification and Correction.
Autor:
Director(es): Alpuente Frasnedo, María FALASCHI, MORENO
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Fecha acto/lectura: 2005-02-28
Resumen:
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 ...[+]
Palabras clave: Software verification , Software correction , Inductive learning , Abstract diagnosis , Rule-based specification languages , Program transformation , Functional logic languages , Formal methods , Rewriting , Web site verification , Simulation
Código UNESCO: 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
Derechos de uso: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/1948
Tipo: Tesis doctoral

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem