Výsledky vyhledávání

Autor: Sijtema, M., Salaün, G., Schätz, B., Belinfante, Axel, Stoelinga, Mariëlle Ida Antoinette, Marinelli, L.

Publikováno v: Science of computer programming, 80(Part A), 188-209. Elsevier
16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 117-133
STARTPAGE=117;ENDPAGE=133;TITLE=16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

We report on the actual industrial use of formal methods during the development of a software bus. During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a25660d885f5f908d1d6681fafb75e32
https://doi.org/10.1007/978-3-642-24431-5_10

Zobrazit plný text záznamu

JTorX: Exploring Model-Based Testing

Autor: Axel Belinfante

The overall goal of the work described in this thesis is: "To design a flexible tool for state-of-the-art model-based derivation and automatic application of black-box tests for reactive systems, usable both for education and outside an academic cont

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fff6b2893367a4bd680e4cbc69c8547a
https://doi.org/10.3990/1.9789036537070

Zobrazit plný text záznamu

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.

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.

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í