GDPA  
RAISE Method  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Contents  
  • Identification
  • Homepage
  • Observations
  • Publications
  • Classifications
  • Identification

    RAISE Method

    Homepage

    http://spd-web.terma.com/Projects/RAISE/index.html

    by Bowen, J.
    http://www.iist.unu.edu/raise/

    Observations

    RAISE is a formal method. RAISE is an acronym for "Rigorous Approach to Industrial Software Engineering". The RAISE formal method consists of the RAISE development method and RSL, the RAISE Specification Language. It is currently in use on the LaCoS project,which is funded under the ESPRIT II programme, as well as on other industrial and research projects.

    Publications

    /Brock, 1990/ RAISE METHOD

    Classifications

    Types of Systems: Sequential systems
    Types of Systems: Concurrent systems
    Types of Systems: Real-time systems
    Model Oriented

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster