Elsevier

Information and Software Technology

Volume 29, Issue 1, January–February 1987, Pages 27-32
Information and Software Technology

System
Education in formal methods for software engineering

https://doi.org/10.1016/0950-5849(87)90017-6Get rights and content

Abstract

Education and consultancy are key to the introduction of software engineering methods into the development process. Software engineering is a new activity, not just a way of writing better programs. It is demanding in its recording and communication requirements. Mathematics plays an important part. Software engineering education must teach many new skills. A workshop teaching these skills has been running over three years.

References (16)

  • DJ Andrews

    Overview of software engineering

  • D Knuth

    Literate Programming

    Comput. J.

    (1984)
  • CB Jones

    Software Development: A Rigorous Approach

    (1980)
  • CB Jones

    Systematic Software Development Using VDM

    (1986)
  • IJ Hayes

    Specification directed module testing

    IEEE Trans. Software Engin.

    (Jan. 1986)
  • K Crinean et al.

    The STARTS Programme

    Software Engin. J.

    (Nov. 1986)
  • B Cohen

    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 Technology
    Citation 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]).

  • Combining formal methods for the development of reactive systems

    2011, International Journal of Computer Applications in Technology
  • Formal methods for verifications of reactive systems

    2010, Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
  • The automatic assessment of formal specification coursework

    1999, Journal of Computing in Higher Education
View full text