Login / Signup
LinkEHR-Ed: A multi-reference model archetype editor based on formal semantics.
José Alberto Maldonado
David Moner
Diego Boscá
Jesualdo Tomás Fernández-Breis
Carlos Angulo
Montserrat Robles
Published in:
Int. J. Medical Informatics (2009)
Keyphrases
</>
reference model
formal semantics
reference models
metamodel
logical reasoning
modeling language
first order logic
operational semantics
modelling language
formal language
theorem prover
logical language
software architecture
open source
software engineering
database systems
case study