Skip to search formSkip to main contentSkip to account menu

RAISE

Known as: RAISE Specification Language, RSL 
RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Formal methodsFormal specificationSoftware developmentSoftware development process

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
RECURRING SLOPE LINEAE ( RSL ) FOLLOWING THE 2018 PLANET-ENCIRCLING DUST EVENT ( PEDE )
MRO/HiRISE has been seeing many more candidate RSL than in typical years, following the 2018 dust storm. They have been imaged at… 
2016
2016
Reasoning about Fences and Relaxed Atomics
For efficiency reasons, weak (or relaxed) memory is now the norm on modern architectures. To cater for this trend, modern… 
2015
2015
Improving test pattern generation in presence of unknown values beyond restricted symbolic logic
Test generation algorithms considering unknown (X) values are pessimistic if standard n-valued logic algebras are used. This… 
2013
2013
RSL-PL: A linguistic pattern language for documenting software requirements
Software requirements are traditionally documented in natural language (NL). However, despite being easy to understand and having… 
Highly Cited
2012
Highly Cited
2012
RSLingo: An information extraction approach toward formal requirements specifications
Requirements Engineering (RE) is about achieving a shared understanding about the software system to be built. No withstanding… 
2006
2006
Analysis of Low-Frequency Turbulence Above Tall Vegetation Using a Doppler Sodar
This study applies acoustic sounding to observe coherent structures in the roughness sublayer (RSL) above tall vegetated surfaces… 
2006
2006
Fluvial Landscapes and Stratigraphy in a Flume
We use data from an experiment conducted in the Experimental EarthScape (XES) facility, National Center for Earth-surface… 
Review
2003
Review
2003
Middle to late Holocene coastal evolution along the south coast of Upolu Island, Samoa
1998
1998
Glacioisostasy and Lake-Level Change at Moosehead Lake, Maine
Reconstructions of glacioisostatic rebound based on relative sea level in Maine and adjacent Canada do not agree well with… 
Review
1993
Review
1993
Experiences with a faceted classification scheme in a large reusable software library (RSL)
This paper presents experiences with software classification in a large corporate reuse software library (RSL) at IBM. We use… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)