KAMET II Conceptual Modeling Language, a Visual and Consistent Language Proved using Concept Algebra.
Osvaldo CairóKaren PobletePublished in: KES (2015)
Keyphrases
- modeling language
- metamodel
- declarative language
- formal semantics
- uml profile
- constraint language
- language constructs
- conceptual information
- data model
- conceptual model
- design rationale
- set theory
- related concepts
- formal logic
- relational databases
- algebraic expressions
- real world
- code generation
- visual concepts
- visual features
- high level
- database
- software systems
- test cases
- conceptual representation
- information systems
- educational modeling languages