Program in Methods for the Development of Dependable, High-Quality, and Secure Software
(PROgrama en MÉtodos para el Desarrollo de Software Fiable, de Alta Calidad y Seguro)
|
|||||||||||||||||||||
|
Research LinesThere are basically two ways in which to tackle the problem of software quality and reliability. While the first one addresses the development of methods and tools for (semi)automatically checking properties of existing software and debugging it (possibly also [semi-]automatically), the second one proposes methodologies (guided by tools and supported by high-level programming languages) in order to generate correct code starting from the early stages of development. Both ideas are compatible and should coexist in practice. Moreover, they share some basic technology. The research program proposes scientific advances in both areas trying to make use of the synergy in the collaboration in order to reuse the common bases, with the following overall scientific objectives:
We remark that existing and future tools will be free software with open source code. The progressive introduction of rigorous technologies in software development processes at the industrial level requires increasing the number of professionals acquainted with them. In this sense, PROMESAS-CM pursues the following:
|
||||||||||||||||||||