STREAM Project


Description



Project Title:
formal SofTwaRE tools, A Multiparadigm approach
           2-year progress report (including complete bibliography): HTML & PDF.

Acronym:
STREAM
Number:
CICYT TIC 2001-2705-C03
Work Area:
Semantics, Programming Languages
Coordinators:
Prof. M. Alpuente
Universidad Politécnica de Valencia (UPV)
Dep. de Sistemas Informáticos y Computación, Facultad de Informática
Camino de Vera s/n, E - 46022 Valencia, Spain

Prof. Ginés Moreno Valverde
Universidad Castilla--La Mancha (UCLM)
Dep. de Informática, E.U. Politécnica de Albacete
Campus Universitario, E-02071 Albacete, Spain

Prof. E. Pimentel
Universidad de Málaga
Dep. de Lenguajes y Ciencias de la Computación, Facultad de Informática
Pza. El Ejido, E - 29013 Málaga, Spain
Partners
Universidad Politécnica de Valencia
Universidad de Castilla--La Mancha
Universidad de Málaga
Keywords:
Formal Methods in Software Engineering. Ligthweight approach. Multiparadigm programming. Program analysis, verification, debugging, certification, and transformation. Advanced programming environments. Coordination Models. Components Technology. Data mining. Integrated decision support systems. Automated Software Engineering.
Start Date:
November 2001
Duration:
36 months
Status:
running
Abstract:
This project focuses on developing formal methods, tools and techniques supporting software development and management in a rational, rather than ad hoc, way. We use multiparadigm declarative languages as a tangible means to apply these methods. The formal basis underlying this technology guarantees the correctness and efectiveness of the developped methods and techniques. In contrast with more conventional (and little practical) formal methods, which promote full formalization in overmuch expressive languages and requiere excessive mathematical background from the final users, we advocate a lightweight approach which emphasizes selectivity and focused application, and is able to bring greater benefits at reduced costs. The project is a coordinated proposal of three university teams with previous R+D experience and skills in the area of formal methods in software engineering and multiparadigm declarative programming.

ELP GPLIS DSIC UPV