A Model-Derivation Framework for Software Analysis

Autor: Yildiz, Bugra M., Rensink, Arend, Bockisch, Christoph, Aksit, Mehmet, Hermanns, Holger, Höffner, Peter

Publikováno v: MARS@ETAPS
Electronic Proceedings in Theoretical Computer Science, Vol 244, Iss Proc. MARS 2017, Pp 217-229 (2017)
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017, 217-229
STARTPAGE=217;ENDPAGE=229;TITLE=Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS)

Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system. However, thi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea13256ae994a9e419183d5581ec64cc
https://doi.org/10.4204/eptcs.244.9

Supporting Teaching and Learning Transformations Through the National Professional Development Framework: Establishing and Recognising an Inclusive Community of Practice for All Who Teach in Irish Higher Education

Autor: Donnelly, Roisin, Maguire, Theresa

Publikováno v: Articles

The Natonal Forum (NF) for the Enhancement of Teaching and Learning has recently completed an inital implementaton of the Natonal Professional Development Framework (PDF) for all who teach in higher educaton. Prior to the publicaton of the PD Framewo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1248::d853f45d60072d62c7c7a1a9af2a5260
https://arrow.tudublin.ie/context/ltcart/article/1061/viewcontent/Donnelly____AISHE_J_Vol._10_No._1.pdf

Tranformation of Russian Federation and its impact on corporate environment - new oportunities for Czech exporters

Autor: Samsonyan, Hakob

The Russian market represents big opportunities for Czech exporters in the near and distant future. Czech companies have gained a lot of comparative advantages in the past periode: language simillarities, trade connections, cooperation of producing c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2186::d2c6789c0ef39660e803dba43a7e1a58
http://www.nusl.cz/ntk/nusl-77073

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.