ERC - An object-oriented refinement calculus for Eiffel.

Richard F. Paige Jonathan S. Ostroff

Published in: Formal Aspects Comput. (2004)

Keyphrases

object oriented
neural network
algebraic structure
object oriented technology
data sets
provably correct
refinement process
multiscale
theorem proving
formal language
proof procedure
automated theorem proving
bayesian networks
information systems
artificial intelligence
computer algebra
step wise
data mining