Login / Signup
Application of Kroki Mockup Tool to Implementation of Executable CERIF Specification.
Milorad Filipovic
Renata Vaderna
Zeljko Ivkovic
Sebastijan Kaplar
Zeljko Vukovic
Igor Dejanovic
Gordana Milosavljevic
Dragan Ivanovic
Published in:
CRIS (2016)
Keyphrases
</>
formal specification
application specific
software application
real time
real world
high level
database systems
bayesian networks
decision support
conceptual model
implementation details
specification language
protocol specification