State Machine Abstraction Layer

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00217973" target="_blank" >RIV/68407700:21230/14:00217973 - isvavai.cz</a>
Výsledek na webu
<a href="http://link.springer.com/chapter/10.1007/978-3-642-55032-4_21" target="_blank" >http://link.springer.com/chapter/10.1007/978-3-642-55032-4_21</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-55032-4_21" target="_blank" >10.1007/978-3-642-55032-4_21</a>

Jazyk výsledku
angličtina
Název v původním jazyce
State Machine Abstraction Layer
Popis výsledku v původním jazyce
Smalldb uses a non-deterministic parametric finite automaton combined with Kripke structures to describe lifetime of an entity, usually stored in a traditional SQL database. It allows to formally prove some interesting properties of resulting application, like access control of users, and provides primary source of metadata for various parts of the application, for example automatically generated user interface and documentation.
Název v anglickém jazyce
State Machine Abstraction Layer
Popis výsledku anglicky
Smalldb uses a non-deterministic parametric finite automaton combined with Kripke structures to describe lifetime of an entity, usually stored in a traditional SQL database. It allows to formally prove some interesting properties of resulting application, like access control of users, and provides primary source of metadata for various parts of the application, for example automatically generated user interface and documentation.

Rok uplatnění
2014
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)