Jump to content

Rigorous Approach to Industrial Software Engineering

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Rod57 (talk | contribs) at 09:50, 11 May 2018 (Rod57 moved page RAISE to Rigorous Approach to Industrial Software Engineering: Expansion of shared acronym ). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

This article is about software development tools. For other uses, see Raise (disambiguation).

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.

See also

Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Rigorous_Approach_to_Industrial_Software_Engineering&oldid=840663638"