Computability Assurance for UML Template Binding.
José FarinhaPedro RamosPublished in: MODELSWARD (Revised Selected Papers) (2015)
Keyphrases
- template matching
- database design
- conceptual modeling
- modeling language
- metamodel
- sequence diagrams
- object oriented
- input image
- software systems
- matching algorithm
- information security
- software engineering
- unified modeling language
- uml diagrams
- software development
- uml profile
- formal methods
- object oriented modeling
- uml models
- regression testing
- tool support
- state machine
- uml class diagrams
- uml activity diagrams
- immune response
- requirements engineering
- model driven engineering
- class diagram
- databases
- description logics
- information systems
- genetic algorithm