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.