Login / Signup
Developing Formal Object-Oriented Requirements Specifications: A Model, Tool and Technique.
Robert B. Jackson
David W. Embley
Scott N. Woodfield
Published in:
Inf. Syst. (1995)
Keyphrases
</>
formal model
high level
probabilistic model
object oriented
computational model
management system
experimental data
databases
probability distribution
mathematical model
conceptual model
artificial neural networks
cost function
theoretical framework
metamodel
finite state machines