R. Stokes
- Bjørner and Jones: Formal Specification and Software Development. Prentice Hall 1982.Google Scholar
- Sufrin. B: Formal System Specifications (IN Neel, D: Tools and Notions for Program Construction, Cambridge University Press 1982).Google Scholar
- Cohen, B. Justification for formal methods of Software Development IEE Software & Microsystems, 1983.Google Scholar
Recommendations
Effect of Modern Information Industry on Manufacturing Industry
AIAM2021: 2021 3rd International Conference on Artificial Intelligence and Advanced ManufactureThe transformation and upgrading of the manufacturing sector is an important step in implementing the new stage of development. Information technology is having an increasingly profound impact on the development of manufacturing industry, based on this ...
An EU without the UK: mapping the UK's changing roles in the EU scientific research
In science, technology and innovation, the consequences of Britain's exit (Brexit) for both Britain and the Europe Union (EU) are still uncertain. However, there is no doubt that in the years to come, the UK will need to re-calibrate its scientific ...
Applying a Formal Method in Industry: A 15-Year Trajectory
FMICS '09: Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical SystemsThis article presents industrial experience of applying the B formal method in the industry, on diverse application fields (railways, automotive, smartcard, etc.). If the added value of such an approach has been demonstrated over the year, using a ...
Comments