Zobrazeno 1 - 10 of 179 pro vyhledávání: '"Selic, B."'
1
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.
3
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Autor: Zhang, D., Bošnački, D., van den Brand, M.G.J., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A., Hammoudi, S., Pires, L.F., Selic, B., Desfray, P.
Publikováno v: Model-Driven Engineering and Software Development-4th International Conference, MODELSWARD 2016, Revised Selected Papers, 249-273
STARTPAGE=249;ENDPAGE=273;TITLE=Model-Driven Engineering and Software Development-4th International Conference, MODELSWARD 2016, Revised Selected Papers
Communications in Computer and Information Science ISBN: 9783319663012
MODELSWARD (Revised Selected Papers)
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the input model is preserved in the output code. When constructing concurrent systems, this is mainly difficult due to the non-deterministic potential in
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc07bd981597150dde0e406f809b149d
https://research.tue.nl/nl/publications/713da09f-0add-413d-b2da-93ddcd66c2c7
Zobrazit plný text záznamu
4
A Categorization of GSN-based Safety Cases and Patterns
Autor: Luo, Y., Li, Z., van den Brand, M.G.J., Hammoudi, S., Pires, LF., Selic, B., Desfray, P.
Publikováno v: MODELSWARD
Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy, 509-516
STARTPAGE=509;ENDPAGE=516;TITLE=Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation is one of these modeling techniques, which can be used to facilitate the development of safety argumentation and create reusable safety argumentation m
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::206e88ddd7bcdb18bf802b5538831f8c
https://doi.org/10.5220/0005734305090516
Zobrazit plný text záznamu
5
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.
7
Law and the Semantic Web. Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
Autor: Benjamins, R., Casanovas, P., Gangemi, A., Selic, B. (Eds.)
Publikováno v: info:cnr-pdr/source/autori:Benjamins, R.; Casanovas, P.; Gangemi, A.; Selic, B. (Eds.)/titolo:Law and the Semantic Web. Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications/editore:/anno:2005
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=cnr_________::d42d6021548f984ce5e3e017017b2152
http://www.cnr.it/prodotto/i/147063
Zobrazit plný text záznamu
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje