Virginity: A Contribution to the Specification of Object-Oriented Software.

K. Rustan M. Leino Raymie Stata

Published in: Inf. Process. Lett. (1999)

Keyphrases

object oriented software
data flow
design patterns
object oriented
software architecture
software development
regression testing
formal specification
specification language
user defined
image sequences
neural network
conceptual model
development process
high level
e learning
machine learning