Information Systems Modeling: Language, Verification, and Tool Support.
Artem PolyvyanyyJan Martijn E. M. van der WerfSietse OverbeekRick BrouwersPublished 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