Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Poch, Tomáš"'
Autor:
Poch, Tomáš
The component based development is a well established methodology of software development. The industry, however does not take the advantage of component behavior modeling. Although the analyses of models guarantee notiobn of correctness in form of b
Externí odkaz:
http://www.nusl.cz/ntk/nusl-299479
Autor:
Poch, Tomáš
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the relatively small tasks. One of th
Externí odkaz:
http://www.nusl.cz/ntk/nusl-269510
Autor:
Poch, Tomáš
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the relatively small tasks. One of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54248d887d8f2cadec61005dbc17c4f6
http://www.nusl.cz/ntk/nusl-300109
http://www.nusl.cz/ntk/nusl-300109
Autor:
Poch, Tomáš
The component based development is a well established methodology of software development. The industry, however does not take the advantage of component behavior modeling. Although the analyses of models guarantee notiobn of correctness in form of b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ca127d1843142dab85fe9145b88393b
http://www.nusl.cz/ntk/nusl-475922
http://www.nusl.cz/ntk/nusl-475922
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Poch, Tomáš, Plášil, František
Publikováno v:
Component-based Software Engineering (9783642024139); 2009, p87-103, 17p
