|
|
| About site: Software/Software Engineering - RAISE |
Return to Computers
|
| About site: http://spd-web.terma.com/Projects/RAISE/ |
Title: Software/Software Engineering - RAISE Describes a language, method and tools known as the Rigorous Approach to Industrial Software Engineering.
|
| Alexa statistic for http://spd-web.terma.com/Projects/RAISE/ |
Please visit: http://spd-web.terma.com/Projects/RAISE/
|
| Related sites for http://spd-web.terma.com/Projects/RAISE/ |
| RenaissanceWeb A resource for the software reengineering community, also including topics such as software maintenance, software evolution, reverse engineering, software understanding and BPR. | | Requirements,_Design,_and_Traceability A Microsoft Windows based tool for system requirements management. | | SESA_-_Systems_Engineering_Society_of_Australia Events, forum, regional chapters, resources, management. | | Simulation_and_Modelling_Software_from_Germany Specializing in Distributed Interactive Simulation (DIS), High Level Architekture (HLA), Space and Aviation. | | Software_Architecture,_Architects_and_Architecting Provides resources for software architects, answers such questions as "what is software architecture" and "why is it important", and covers the architecting process and role of the architect. | | Software_Build_and_Fix__Tips Some tips to help programmers produce quality code. |
|
This is best-2006.com cache of m/ as retrieved on 2009.01.07 best-2006.com's cache is the snapshot that we took of the page as we crawled the web. The page may have changed since that time.
|
 RAISE - Rigorous Approach to Industrial Software Engineering RAISE - Rigorous Approach to Industrial Software Engineering Welcome to the RAISE home page!The RAISE formal method consists of the RAISE development method and RSL, the RAISE Specification Language. It has been used on the LaCoS project, which was funded under the ESPRIT II programme, as well as on other industrial and research projects. The RAISE toolset is available from Terma A/S in Denmark. An FAQ (Frequently Asked Questions) file for RAISE is available, as is a bibliography.Another source of information on RAISE is maintained by UNU/IIST at theirRAISE page.Other formal methods resourcesThe home page of Formal Methods Europe is an excellent starting point for finding information about formal methods.Jonathan Bowen's Formal Methods Home Page provides pointers to resourcesfor almost every other formal method. This includes Z and VDM, perhaps the two most popular formal methods in current use; you can read about the differences between RSL and Z, and between RSL and VDM, in the FAQ.The newsgroup comp.specification.misc is also a useful source of information.If you have any suggestions for other material to put on these pages, please mail Jan Storbank Pedersen. Last updated: 22nd June 2004. |
|
| |
Describes | a | language, | method | | and | tools | known | as | the | Rigorous | Approach | to | Industrial | Software | Engineering. |
|
http://spd-web.terma.com/Projects/RAISE/
RAISE 2009 January
dvd rental
dvd
Describes a language, method and tools known as the Rigorous Approach to Industrial Software Engineering.
Rules
|
© 2005 Internet Explorer 5+ or Netscape 6+
|
|
Recommended Sites: 1.
Arts -
Business -
Computers -
Games -
Health -
Home -
Kids and Teens -
News -
Recreation -
Reference -
Regional -
Science -
Shopping -
Society -
Sports -
World
Miss Gallery
- Top Anime Hentai
- DVD rental by mail
- The eBay Song - Ringtones - Cardcaptor Sakura Episodes - Debt Consolidation - LoansKraków Noclegi
- Przewozy Autokarowe
- Serwery
- Freestanding Kitchen Units
- Wynajem Autokarów
|
