RAISE specification language
Encyclopedia
RAISE 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 based around 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.
Dines Bjørner
Professor Dines Bjørner 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 Vienna Development Method at IBM in Vienna...
. It consists of a set of tools based around a specification language
Specification language
A specification language is a formal language used in computer science.Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design.Specification...
(RSL) for software development
Software development
Software development is the development of a software product...
. It is especially espoused by UNU-IIST
UNU-IIST
The United Nations University International Institute for Software Technology is a United Nations University Research Training Centre based in Macau.-History:...
in Macau
Macau
Macau , also spelled Macao , is, along with Hong Kong, one of the two special administrative regions of the People's Republic of China...
, who run training courses on site and around the world, especially in developing countries.
External links
- RAISE Virtual Library entry
- RAISE – Rigorous Approach to Industrial Software Engineering
- RAISE information from Dines BjørnerDines BjørnerProfessor Dines Bjørner 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 Vienna Development Method at IBM in Vienna...