Sign in

Comments on "Formal Methods Application: An Empirical Tale of Software Development".

Daniel M. BerryWalter F. Tichy
Published in: IEEE Trans. Software Eng. (2003)
Keyphrases
  • formal methods
  • development lifecycle
  • software development
  • software engineering
  • formal analysis
  • software projects
  • provably correct
  • model checker
  • software architecture
  • software developers