释义 |
DictionarySeeraiseRAISE Specification Language
RAISE Specification Language (language)(RSL) (RAISE = Rigorous Approach to IndustrialSoftware Engineering). A wide-spectrum specification anddesign language developed by ESPRIT Project 315 at CRIA/S, Denmark. Systems may be modular, concurrent andnondeterministic. Specifications may be applicative orimperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H1992, ISBN 0-13-752833-7].FinancialSeeRaiseAcronymsSeeRSL |