Zobrazeno 1 - 10
of 73
pro vyhledávání: '"M. C Gaudel"'
Autor:
B. Marre, M.-C. Gaudel
Publikováno v:
[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
As soon as formal specifications are used in software development, it becomes possible to use these specifications to generate implementation-independent test data. In the case of algebraic specifications, these specifications consist of a structured
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3311e9a5b8c4c4f6c9cab574f13bb932
https://doi.org/10.1109/wst.1988.5367
https://doi.org/10.1109/wst.1988.5367
Autor:
M.-C. Gaudel
Publikováno v:
Proceedings of the Sixth International Workshop on Software Specification and Design.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::88658a6a3a052ba58f76bcf36b457609
https://doi.org/10.1109/iwssd.1991.213054
https://doi.org/10.1109/iwssd.1991.213054
Autor:
A. Galves, M.-C. Gaudel
Publikováno v:
FTCS
Reactive programs are a class of software whose behavior is highly dependent on the environment. For such programs, the successive inputs are not independent, due to the continuity of the physical behavior of the system under control. This paper pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c46e8e9f00aa25277f99a919f31d1b5
https://doi.org/10.1109/ftcs.1998.689483
https://doi.org/10.1109/ftcs.1998.689483
Kniha
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:
G. Dubost, G. Cohen, J. Wolfmann, J. C. Perez, R. Farcy, E. Davalo, P. Naim, P. W. Hawkes, J. Yahouedeou, R. Laurini, F. Milleret-Raffort, J. Lonchamp, J. P. Delahaye, G. Nachszunow, S. Pasleau, E. Iris, M Aubes, I. Chenerie, P. F Combes, J. Graffeuel, J. C Laprie, B. Courtois, M. C Gaudel, D. Powell
Publikováno v:
Annals of Telecommunications. 45:231-233
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0229b072bea1218506196eee4150e5e
https://doi.org/10.1007/bf02995159
https://doi.org/10.1007/bf02995159
Autor:
J. P. Jouannaud, M. C. Gaudel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540566106
TAPSOFT'93: Theory and Practice of Software Development
TAPSOFT'93: Theory and Practice of Software Development
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6dffe95bf2719858d40f68922d7b8863
https://doi.org/10.1007/3-540-56610-4
https://doi.org/10.1007/3-540-56610-4
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.
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.
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.