Extending Eclipse to support object-oriented system verification.

Jiang Guo Yuehong Liao Raj Pamula

Published in: IRI (2005)

Keyphrases

object oriented
open source
database design
data structure
object oriented concepts
development environments
decision support
end users
face recognition
neural network
search engine
lightweight
genetic algorithm
model checking
object oriented programming
object oriented database systems
databases