Rigorous Approach to Industrial Software Engineering (RAISE) was developed as part of the European
ESPRIT II LaCoS project in the 1990s, led by
Dines Bjørner
Dines Bjørner (born 4 October 1937) 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 (VDM) ...
. 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 exec ...
(RSL) for
software development
Software development is the process of designing and Implementation, implementing a software solution to Computer user satisfaction, satisfy a User (computing), user. The process is more encompassing than Computer programming, programming, wri ...
. It is especially espoused by
UNU-IIST in
Macau
Macau or Macao is a special administrative regions of China, special administrative region of the People's Republic of China (PRC). With a population of about people and a land area of , it is the most List of countries and dependencies by p ...
, who run training courses on site and around the world, especially in
developing countries
A developing country is a sovereign state with a less-developed Secondary sector of the economy, industrial base and a lower Human Development Index (HDI) relative to developed countries. However, this definition is not universally agreed upon. ...
.
See also
*
Formal methods
In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...
*
Formal specification
In computer science, formal specifications are mathematically based techniques whose purpose is 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 verify ...
External links
RAISE Virtual Library entryRAISE – Rigorous Approach to Industrial Software EngineeringRAISE information
from Dines Bjørner
Dines Bjørner (born 4 October 1937) 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 (VDM) ...
Formal specification languages
Formal methods tools
Software testing tools
{{compu-lang-stub