Embedding UML and Type Theory to Formalize the Process of Requirement Engineering.

Hui Jiang Dong Lin Xiren Xie

Published in: TOOLS (36) (2000)

Keyphrases

software engineering
theoretical framework
data sets
databases
design process
development process
metamodel
engineering design
requirements engineering
chemical process