SE curriculum design: methodologies, formal methods, and life cycle models. II. Formal methods

Over recent years the use of formal methods in industry has greatly increased. Formal methods are defined as any method that allows you to reason about a problem, and which provides a logical (mathematical) way of proving the correctness of the proposed solution. Software engineers need competency i...

Full description

Saved in:
Bibliographic Details
Published inProceedings Software Education Conference (SRIG-ET'94) pp. 344 - 346
Main Authors Cifuentes, C., Hughes, J.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1994
Subjects
Computer industry
Design methodology
Ear
Educational institutions
Engineering management
Project management
Rail transportation
Railway safety
Software engineering
Software systems
Online AccessGet full text

Cover

More Information
Summary:Over recent years the use of formal methods in industry has greatly increased. Formal methods are defined as any method that allows you to reason about a problem, and which provides a logical (mathematical) way of proving the correctness of the proposed solution. Software engineers need competency in managing programming in the large. It is important to know all the methods, when they should be applied and when they should not. The difficult question for the software engineering educator is: when and how should these formal methods be taught in the curriculum?.< >
ISBN:9780818658709
0818658703
DOI:10.1109/SEDC.1994.475358