RAISE
RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools designed for a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
Wikipage disambiguates
Wikipage redirect
primaryTopic
RAISE
RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools designed for a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
has abstract
RAISE (Rigorous Approach to In ...... ially in developing countries.
@en
RAISE, acrónimo inglés de Rigo ...... países en vías de desarrollo.
@es
Wikipage page ID
Wikipage revision ID
653,257,422
comment
RAISE (Rigorous Approach to In ...... ially in developing countries.
@en
RAISE, acrónimo inglés de Rigo ...... países en vías de desarrollo.
@es
label
RAISE
@en
RAISE
@es