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 15 articles )

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

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