Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models.

Wuliang Sun Robert B. France Indrakshi Ray

Published in: HASE (2011)

Keyphrases

statistical models
uml models
software engineering
model driven engineering
case study
probabilistic model
development process
metamodel
software development process
supply chain
neural network
relational databases
decision support
parameter estimation
formal methods
activity diagrams