Rapid Prototyping Formal Systems in MMT: 5 Case Studies.

Dennis Müller Florian Rabe

Published in: LFMTP@LICS (2019)

Keyphrases

rapid prototyping
case study
management system
real world
distributed systems
formal model
expert systems
knowledge management
lessons learned
web services
data structure
relational databases
data collection
intelligent agents
development process