Discovering Algebraic Specifications from Java Classes.

Johannes Henkel Amer Diwan

Published in: ECOOP (2003)

Keyphrases

programming language
database applications
source code
open source
algebraic structures
delay insensitive
web applications
object oriented
high level
neural network
database
web services
logic programs
information systems
formal specification
java programs
data mining