Sign in
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