Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Pavel Jezek"'
Autor:
Pavel Jezek, Tomas Matousek
Publikováno v:
Electronic Notes in Theoretical Computer Science. 203:55-69
This paper introduces a new object-oriented specification and modeling language called DeSpec. The language targets primarily model checking in the Windows NT kernel driver environment. It integrates the majority of Zing modeling language features an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45ec4008a5b1d1127deb9b9cb2cdbca7
https://doi.org/10.1016/j.entcs.2009.03.026
https://doi.org/10.1016/j.entcs.2009.03.026
Publikováno v:
Journal of Hepatology. 32:1011-1018
Background/Aims: Famciclovir, an orally available nucleoside analogue with potent in vitro activity against HBV, is being investigated for treatment of chronic hepatitis B. Methods: A dose-finding study was conducted in patients with hepatitis B e an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ce2012d3fcb667f420d74654a1a53af
https://doi.org/10.1016/s0168-8278(00)80106-3
https://doi.org/10.1016/s0168-8278(00)80106-3
Publikováno v:
CSEE&T
Our undergraduate curriculum includes a one semester course on object-oriented programming in the C# language and the .NET platform. The course underwent a major change in its labs organization two years ago - an introduction of regular one-week lab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::591efdaa3b46c9064049e32f4af7cfe9
https://doi.org/10.1109/cseet.2013.6595256
https://doi.org/10.1109/cseet.2013.6595256
Publikováno v:
EUROMICRO-SEAA
Component-based software engineering (CBSE) defines components as basic software building blocks with strongly formalized behavior and interactions. The key benefits of structuring code into components include good analyzability of performance and be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0f5c9067f6ee1830b11983c749882ff
https://doi.org/10.1109/seaa.2011.27
https://doi.org/10.1109/seaa.2011.27