Formal engineering for industrial software development. Using the SOFL method.
From MaRDI portal
Recommendations
Cited in
(15)- Domain modeling-based software engineering. A formal approach
- Testing-based formal verification for theorems and its application in software specification verification
- Designing software-intensive systems: Methods and principles.
- Practical Formal Software Engineering
- scientific article; zbMATH DE number 1227059 (Why is no real title available?)
- Using formal methods with SysML in aerospace design and engineering
- Developing quality software systems using the SOFL formal engineering method
- scientific article; zbMATH DE number 1984243 (Why is no real title available?)
- Understanding formal methods. Written and translated by: Jean-François Monin. Translation editor: Michael G. Hinchey
- Mathematical approaches to software quality.
- scientific article; zbMATH DE number 2221545 (Why is no real title available?)
- ASD case notes: Costs and benefits of applying formal methods to industrial control software
- scientific article; zbMATH DE number 4187092 (Why is no real title available?)
- Utilizing Hoare logic to strengthen testing for error detection in programs
- Model to mitigate: using DCR graphs to prevent vulnerabilities in smart contracts
This page was built for publication: Formal engineering for industrial software development. Using the SOFL method.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4821318)
