Integrating Formal Methods into a Professional Master of Software Engineering Program

This publication has 14 references indexed in Scilit:

• The CMU Masters in Software Engineering Core Curriculum
  Published by Defense Technical Information Center (DTIC) ,1993
• Experience With a Course on Architectures for Software Systems. Part 1. Course Description
  Published by Defense Technical Information Center (DTIC) ,1992
• Formal methods for software engineers: Tradeoffs in curriculum design
  Published by Springer Nature ,1992
• Formalizing design spaces: Implicit invocation mechanisms
  Published by Springer Nature ,1991
• A formal specification of an oscilloscope
  IEEE Software, 1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• The Science of Programming
  Published by Springer Nature ,1981
• Formal specification as a design tool
  Published by Association for Computing Machinery (ACM) ,1980
• Proof of correctness of data representations
  Acta Informatica, 1972