RAISE (''Rigorous Approach to Industrial Software Engineering'') was developed as part of the European
ESPRIT
Esprit or L'Esprit may refer to:
* the French for Spirit; as a loanword:
** Enthusiasm, intense interest or motivation
** Morale, motivation and readiness
** Geist "mind/spirit; intellect"
* Esprit (name), a given name and surname
* ''Esprit'' (m ...
II LaCoS project in the 1990s, led by
Dines Bjørner
__NOTOC__
Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist.
He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the V ...
. It consists of a set of tools designed for a
specification language (RSL) for
software development
Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components. Software development invol ...
. It is especially espoused by
UNU-IIST
The United Nations University International Institute for Software Technology (UNU-IIST; ; Portuguese: ''Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas'') was a United Nations University Research Tr ...
in
Macau
Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a pop ...
, who run training courses on site and around the world, especially in
developing countries
A developing country is a sovereign state with a lesser developed industrial base and a lower Human Development Index (HDI) relative to other countries. However, this definition is not universally agreed upon. There is also no clear agreem ...
.
See also
*
Formal methods
*
Formal specification
External links
RAISE Virtual Library entryRAISE – Rigorous Approach to Industrial Software EngineeringRAISE information
from Dines Bjørner
__NOTOC__
Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist.
He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the V ...
Formal specification languages
Formal methods tools
Software testing tools
{{compu-lang-stub