Login / Signup
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications.
Antonio Navarro
Baltasar Fernández-Manjón
Alfredo Fernández-Valmayor
José Luis Sierra
Published in:
FASE (2002)
Keyphrases
</>
data driven
digital libraries
complex systems
formal model
development process
real time
rapid prototyping
formal specification
hypermedia systems
ontological engineering
formal language
domain knowledge
multi agent
bayesian networks
image sequences
multimedia
computer vision
databases