swMATH3248MaRDI QIDQ15781FDOQ15781
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/kndknay1e9wyfrl4/fulltext.pdf
Cited In (19)
- A derivation strategy for formal specifications from natural language requirements models
- Developing reactive systems in a VDM framework
- Stepwise development and model checking of a distributed interlocking system using RAISE
- Algebraic Methodology and Software Technology
- Model Checking LTL Formulae in RAISE with FDR
- Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension
- Domain modeling-based software engineering. A formal approach
- Provably correct derivation of algorithms using FermaT
- Title not available (Why is that?)
- Model checking RAISE applicative specifications
- SAL
- FreeRTOS
- FermaT
- mural
- Using formal reasoning on a model of tasks for FreeRTOS
- Object organisation in software environments for formal methods
- A formal object approach to the design of ZML
- Engineering and theoretical underpinnings of retrenchment
This page was built for software: RAISE
