 | |
| About | |
| Global Summary | |
| Keywords | |
| Objectives | |
| Relevance and Activities | |
| Research Groups | |
| Other Aspects | |
| Research | |
| Industrial Participation | |
| Persons Hired | |
| Talks & Events | |
| Opening Positions | |
| Support | |
 |
 |
BABEL Group (UPM)
The group BABEL: Reliable and High Quality Software Development by using Declarative Technology, led by Juan José Moreno-Navarro and officially recognized by the UPM, has been active from more than 15 years.Its research focuses on topics related to declarative technology and programming systems (such as the functional logic languages Babel and Curry, and their implementation, the Sloth system, and negation in Prolog included in Ciao), specification, verification and validation of software applications (as in the SLAM system, able to automatically generate human-readable and efficient code from specifications), rigorous, systematic, and methodological aspects of software production (agile methods, design patterns, etc.), and, in general, the (semi) automatic development of reliable software.
The group has been involved in several technology transfer programs in the aforementioned topics (in cooperation with ELIOP S.A., Union Fenosa, Ingeniería, Telefónica I+D, Answare, etc.), European projects, and has been awarded grants from the CICYT, MCYT/MEC since 1988. More detailed information can be found in the BABEL group website.
