Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017.
Published in: IMPEX/FM&MDD (2018)
Keyphrases
- model driven
- explicit knowledge
- model driven development
- model driven engineering
- international workshop
- implicit knowledge
- domain knowledge
- knowledge management systems
- data driven
- knowledge management
- lecture notes
- tacit knowledge
- international conference
- service oriented
- support systems
- software engineering
- metamodel
- data sets
- formal specification
- distributed systems
- knowledge discovery
- training data
- real world