Tool support for code generation from a UMLsec property.
Lionel MontrieuxJan JürjensCharles B. HaleyYijun YuPierre-Yves SchobbensHubert ToussaintPublished in: ASE (2010)
Keyphrases
- code generation
- tool support
- software development
- code generator
- software engineering
- software projects
- application development
- software tools
- case study
- software reuse
- development process
- design decisions
- software systems
- modeling language
- design patterns
- formal specification
- requirements engineering
- test suite
- software components
- data sets
- high level
- software architecture
- model driven
- test set
- error rate
- data driven
- query language
- web services