Mapping Formal Results Back to UML Semi-formal Model.
Vinícius PereiraLuciano BaresiMárcio Eduardo DelamaroPublished in: ICEIS (2) (2015)
Keyphrases
- formal model
- formal models
- metamodel
- software systems
- class diagrams
- predicate calculus
- object oriented
- security properties
- formal methods
- uml class diagrams
- data model
- software architecture
- database design
- software development
- specification language
- modeling language
- tool support
- security patterns
- unified modeling language
- software engineering
- argumentation schemes