RAISE Specification Language. (RAISE = Rigorous Approach to Industrial Software Engineering). A wide-spectrum specification and design language developed by ESPRIT Project 315 at CRI A/S, Denmark. Systems may be modular, concurrent, nondeterministic. Specifications may be applicative or imperative, explicit or implicit, abstract or concrete. ["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7].

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ AI ] [ al ] [ am ] [ an ] [ app ] [ ar ] [ arc ] [ at ] [ B ] [ b ] [ be ] [ bs ] [ by ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ co ] [ con ] [ CR ] [ cr ] [ cu ] [ current ] [ D ] [ de ] [ design ] [ deterministic ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ er ] [ era ] [ es ] [ ESP ] [ ESPRIT ] [ et ] [ fi ] [ file ] [ G ] [ ge ] [ gi ] [ gn ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ IS ] [ is ] [ ISE ] [ IT ] [ it ] [ la ] [ language ] [ Lex ] [ li ] [ ma ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ N ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ no ] [ nondeterministic ] [ ns ] [ op ] [ pe ] [ ph ] [ pl ] [ PR ] [ pr ] [ PRI ] [ query ] [ RAISE ] [ rc ] [ re ] [ rete ] [ ro ] [ roach ] [ ru ] [ S ] [ SE ] [ se ] [ si ] [ sig ] [ SP ] [ Spec ] [ spec ] [ specification ] [ st ] [ T ] [ to ] [ tr ] [ tw ] [ ua ] [ um ] [ up ] [ us ] [ ve ]