A Weakest Precondition Semantics for Refinement of Object-Oriented Programs.

Ana Cavalcanti David A. Naumann

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

object oriented programs
specification languages
formal specification
integration testing
impact analysis
object oriented
first order logic
databases
natural language
semantic information
information systems
model checking
life cycle