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

• Published in: Proceedings Software Education Conference (SRIG-ET'94) pp. 344 - 346
• Main Authors: Cifuentes, C., Hughes, J.
• Format: Conference Proceeding
• Language: English
• 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

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...