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
__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 th ...
. It consists of a set of tools designed for a
specification language
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executa ...
(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 inv ...
. It is especially espoused by
UNU-IIST 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 sector, industrial base and a lower Human Development Index (HDI) relative to other countries. However, this definition is not universally agreed upon. There is al ...
.
See also
*
Formal methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
*
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by veri ...
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 th ...
Formal specification languages
Formal methods tools
Software testing tools
{{compu-lang-stub