Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Schätz, Bernhard"'
Publikováno v:
Electronic Notes in Theoretical Computer Science, Volume 238, Issue 4, 28 September 2009, Pages 71-77
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and fail
Externí odkaz:
http://arxiv.org/abs/1806.04880
Autor:
Juergens, Elmar, Deissenboeck, Florian, Feilkas, Martin, Hummel, Benjamin, Schaetz, Bernhard, Wagner, Stefan, Domann, Christoph, Streit, Jonathan
Publikováno v:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2. Pages 79-88. ACM, 2010
Due to their pivotal role in software engineering, considerable effort is spent on the quality assurance of software requirements specifications. As they are mainly described in natural language, relatively few means of automated quality assessment e
Externí odkaz:
http://arxiv.org/abs/1711.05472
Publikováno v:
MBEERTS: Model-Based Engineering of Embedded Real-Time Systems, p. 241 - 270. International Dagstuhl Workshop, Dagstuhl Castle, Germany, LNCS 6100, Springer Berlin, October 2010
As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earlier: models need to be versioned, differences captured, syntactic and s
Externí odkaz:
http://arxiv.org/abs/1409.2361
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been published. In particular, we cover a discussion on behavioral types in general
Externí odkaz:
http://arxiv.org/abs/1306.6115
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:
Schätz, Bernhard
Publikováno v:
In Electronic Notes in Theoretical Computer Science 29 June 2007 182:171-186
Autor:
Ameller, David, Franch, Xavier, Seoane, Cristina Gómez, Joao Araujo, Svensson, Richard Berntsson, Biffl, Stefan, Cabot, Jordi, Cortellessa, Vittorio, Daneva, Maya, Fernández, Daniel Méndez, Moreira, Ana, Muccini, Henry, Vallecillo, Antonio, Wimmer, Manuel, Amaral, Vasco, Böhm, Wolfgang, Brunelière, Hugo, Loli Burgueño, Goulão, Miguel, Schätz, Bernhard, Teufl, Sabine
This document details the protocol to execute an empirical study about the industrial practices in model-driven development, focusing in the particular topic of handling non-functional requirements. The empirical study described in this document is a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e388b16a8ce1d420f43774d4f44bc65
Autor:
Ameller, David, Franch, Xavier, Seoane, Cristina Gómez, Joao Araujo, Svensson, Richard Berntsson, Biffl, Stefan, Cabot, Jordi, Cortellessa, Vittorio, Daneva, Maya, Fernández, Daniel Méndez, Moreira, Ana, Muccini, Henry, Vallecillo, Antonio, Wimmer, Manuel, Amaral, Vasco, Böhm, Wolfgang, Brunelière, Hugo, Loli Burgueño, Goulão, Miguel, Schätz, Bernhard, Teufl, Sabine
Questionnaire of the NFR4MDD project interviews.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83c8df1b5a011c35983535fad83e90d1
Autor:
Moreira, Ana1 amm@fct.unl.pt, Schätz, Bernhard2 schaetz@informatik.tu-muenchen.de, Clarke, Peter3 clarkep@cis.fiu.edu, Vallecillo, Antonio4 av@lcc.uma.es
Publikováno v:
Software & Systems Modeling. May2017, Vol. 16 Issue 2, p309-311. 3p.
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.