Login / Signup

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

Ann E. Kelley SobelMichael R. Clarkson
Published in: IEEE Trans. Software Eng. (2003)
Keyphrases
  • formal methods
  • development lifecycle
  • software development
  • software engineering
  • model checking
  • artificial intelligence
  • database
  • expert systems
  • development process
  • formal specification
  • provably correct