Rigorózní přístup k průmyslovému softwarovému inženýrství - Rigorous Approach to Industrial Software Engineering

VYZDVIHNOUT (Rigorózní přístup k průmyslovému softwarovému inženýrství) byl vyvinut jako součást evropského ESPRIT II. Projekt LaCoS v 90. letech pod vedením Večeře Bjørner. Skládá se ze sady nástrojů určených pro a specifikační jazyk (RSL) pro vývoj softwaru. Obzvláště je zastáncem UNU-IIST v Macao, kteří organizují školení na místě a po celém světě, zejména v rozvojové země.

Viz také

• Formální metody
• Formální specifikace

externí odkazy

• Vstup do virtuální knihovny RAISE
• RAISE - přísný přístup k průmyslovému softwarovému inženýrství
• ZVÝŠIT informace z Večeře Bjørner

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.