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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Digital forensics is a relatively new research area which aims at authenticating digital media by detecting possible digital… (More)
Is this relevant?
2013
2013
Software requirements are traditionally documented in natural language (NL). However, despite being easy to understand and having… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Addressing security and privacy issues is a prerequisite for a market-ready vehicular communication network. Although recent… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
2008
2008
Article history: Relative sea-level (RSL) obse Received 30 November 2007 Received in revised form 8 March 2008 Accepted 17 March… (More)
Is this relevant?
2007
2007
We perform joint inversions for mantle viscosity of geophysical observables associated with both mantle convection and glacial… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2002
2002
Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José L. Ferreira and Carlos Bento Abstract. Software… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We show that robust regressions can be established between relative sea-level (RSL) data and benthic foraminifera oxygen isotopic… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1992
Highly Cited
1992
This is a very reasonable book that should be read. The following may offer you the way to get this book. It is actually ease… (More)
Is this relevant?
1991
1991
The paper contains a spectjication of part of the control software for an X-ray telescope on board a scientific satellite. The… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Standard image processing techniques which are used to enhance noncoherent optically produced images are not applicable to radar… (More)
Is this relevant?