RAISE

The development of the RAISE tools. The use of a formal method is often seen in terms of (a) creating a formal description, or specification, that meets the requirements, and (b) refining that specification into code. More emphasis is commonly placed on (b) than on (a). This paper looks more at (a), particularly at means by which we can be more confident that a specification is correct. It considers the RAISE tools in terms both of their development and also in terms of the support they provide for gaining confidence in specifications, and hence in raising their quality.


References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Cheng, Shu; Woodcock, Jim; D’Souza, Deepak: Using formal reasoning on a model of tasks for FreeRTOS (2015)
  2. Ward, Martin; Zedan, Hussein: Provably correct derivation of algorithms using FermaT (2014)
  3. Perna, Juan I.; George, Chris: Model checking RAISE applicative specifications (2013)
  4. Parisaca Vargas, Abigail; Garis, Ana G.; Tapia Tarifa, S.Lizeth; George, Chris: Model checking LTL formulae in RAISE with FDR (2009)
  5. Banach, R.; Poppleton, M.; Jeske, C.; Stepney, S.: Engineering and theoretical underpinnings of retrenchment (2007)
  6. Mauco, María Virginia; Leonardi, María Carmen: A derivation strategy for formal specifications from natural language requirements models (2007)
  7. Lindegaard, Morten P.; Haxthausen, Anne E.: Proof support for RAISE by a reuse approach based on institutions (2004)
  8. George, Chris: The development of the RAISE tools. (2003)
  9. George, Chris; Haxthausen, Anne E.: The logic of the RAISE specification language (2003)
  10. Sun, Jing; Dong, Jin Song; Liu, Jing; Wang, Hai: A formal object approach to the design of ZML (2002)
  11. Smith, Graeme; Derrick, John: Specification, refinement and verification of concurrent systems -- an integration of Object-$Z$ and $CSP$ (2001)
  12. Lu, Ruqian; Jin, Zhi: Domain modeling-based software engineering. A formal approach (2000)
  13. Ward, Martin P.; Bennett, Keith H.: Recursion removal/introduction by formal transformation: An aid to program development and program comprehension (1999)
  14. Ledru, Y.: Developing reactive systems in a VDM framework (1993)