Software specification methods. An overview using a case study
From MaRDI portal
Recommendations
- Software specifcation methods. On overview using a case study.
- Specifying Software
- A formally grounded software specification method
- scientific article; zbMATH DE number 194792
- scientific article; zbMATH DE number 2221545
- scientific article; zbMATH DE number 1481757
- scientific article; zbMATH DE number 795679
- scientific article; zbMATH DE number 46741
Cited in
(15)- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- scientific article; zbMATH DE number 1708014 (Why is no real title available?)
- The subject-oriented approach to software design and the abstract state machines method
- Software specifcation methods. On overview using a case study.
- Applicative Modelling with RAISE
- scientific article; zbMATH DE number 52898 (Why is no real title available?)
- scientific article; zbMATH DE number 1979580 (Why is no real title available?)
- scientific article; zbMATH DE number 194792 (Why is no real title available?)
- Methodology to evaluate the functionality of specification languages
- Engineering methods from method requirements specifications
- Specification of software systems.
- The HOL-CSP Refinement Toolkit
- HOL-CSP Version 2.0
- A Sound Type System for Physical Quantities, Units, and Measurements
This page was built for publication: Software specification methods. An overview using a case study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2701739)
