Formal Specification and Analysis of Domain Specific Models Using Maude.

José Eduardo Rivera Francisco Durán Antonio Vallecillo

Published in: Simul. (2009)

Keyphrases

formal specification
domain specific
specification languages
model checking
probabilistic model
general purpose
object oriented design
formal methods
artificial intelligence
information systems
cooperative
object oriented
knowledge management
knowledge acquisition
formal specification language