Information Systems Modeling: Language, Verification, and Tool Support.

Artem Polyvyanyy Jan Martijn E. M. van der Werf Sietse Overbeek Rick Brouwers

Published in: CAiSE (2019)

Keyphrases

modeling language
tool support
information systems
formal methods
software development
metamodel
software projects
software tools
design decisions

model checking
software engineering
requirements engineering
design rationale
uml profile
declarative language
project management
information technology

model driven architecture
constraint language
software development process
software systems
knowledge management
test suite
support systems
cooperative

data sets
code generation
databases
business process modeling
database
artificial intelligence
case study
information security