Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications.

Antonio Moreno-Delgado Francisco Durán José Meseguer

Published in: WRLA (2016)

Keyphrases

real time
object oriented
formal specification
high level
relational databases
database applications
conceptual models
website
database systems
high speed
data model
programming language
domain specific
software development
quality of service