CAMILA formal software engineering supported by functional programming

This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in di erent institutions each of them addresses a particular topic in the area requirement analysis and generic sy...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Oliveira, J. N., Almeida, J. J., Barbosa, L. S., Neves, F. L.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1997
Materias:
Ciencias Informáticas
Education and applications of functional programming
functional prototyping
program calculation
SOFTWARE ENGINEERING
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24119
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares