Login / Signup

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.

Shaoying LiuTetsuo TamaiShin Nakajima
Published in: Int. J. Softw. Eng. Knowl. Eng. (2011)
Keyphrases
  • formal specification
  • software reliability
  • software testing
  • specification language
  • cooperative
  • model checking
  • databases
  • reverse engineering
  • object oriented design