Sign in
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development.
Dehui Du
Jing Liu
Honghua Cao
Miaomiao Zhang
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
model driven development
model driven
software development
modeling language
modeling framework
software engineering
software design
database
databases
case study
business processes
web applications
business process
business applications