SystemEducation in formal methods for software engineering
References (16)
Overview of software engineering
Literate Programming
Comput. J.
(1984)Software Development: A Rigorous Approach
(1980)Systematic Software Development Using VDM
(1986)Specification directed module testing
IEEE Trans. Software Engin.
(Jan. 1986)- et al.
The STARTS Programme
Software Engin. J.
(Nov. 1986) Justification of Formal Methods for System Specification
Software Microsyst.
(August 1982)
There are more references available in the full text version of this article.
Cited by (6)
A formal approach for the development of reactive systems
2011, Information and Software TechnologyCitation Excerpt :Formal methods is the term used to describe the specification and verification of these systems using mathematical and logical techniques. The main advantages of the formal approach to software construction [1–4] is that, whenever applicable, it can lead to an increase of the reliability and correctness of the resulting programs by several orders of magnitude. Several approaches for the verification of reactive systems are available, the most prominent are algorithmic (model-checking [5,6]) and deductive verification (theorem-proving techniques [7,8]).
Case study: the use of formal specification and rapid prototyping to establish product feasibility
1987, Information and Software TechnologyCombining formal methods for the development of reactive systems
2011, International Journal of Computer Applications in TechnologyFormal methods for verifications of reactive systems
2010, Reconfigurable Embedded Control Systems: Applications for Flexibility and AgilityThe automatic assessment of formal specification coursework
1999, Journal of Computing in Higher EducationMathematical notation in formal specification: Too difficult for the masses?
1996, IEEE Transactions on Software Engineering
Copyright © 1987 Published by Elsevier B.V.