Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Oriat, Catherine"'
Autor:
Vega, Germán, Groz, Roland, Oriat, Catherine, Foster, Michael, Walkinshaw, Neil, Simão, Adenilso
This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method
Externí odkaz:
http://arxiv.org/abs/2406.07040
Autor:
Oriat, Catherine
La composition de spécifications modulaires peut être modélisée, dans le formalisme des catégories, par des colimites de diagrammes. La somme amalgamée permet en particulier d'assembler deux spécifications en précisant les parties communes. N
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00005007
http://tel.archives-ouvertes.fr/docs/00/04/63/03/PDF/tel-00005007.pdf
http://tel.archives-ouvertes.fr/docs/00/04/63/03/PDF/tel-00005007.pdf
Autor:
Oriat, Catherine
This report presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Java which allows one to write invariants for classes, and pre- and post
Externí odkaz:
http://arxiv.org/abs/cs/0412012
Publikováno v:
NLPaSE: Natural Language Processing Advancements for Software Engineering
NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15c7c5ec256bb06d8f9027f0475b2047
https://hal.archives-ouvertes.fr/hal-03275244
https://hal.archives-ouvertes.fr/hal-03275244
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.
Autor:
Oriat, Catherine
Publikováno v:
In Theoretical Computer Science 2000 247(1):141-190
Publikováno v:
International Conference on Grammatical Inference 2016 (ICGI'16)
International Conference on Grammatical Inference 2016 (ICGI'16), Oct 2016, Delft, Netherlands
International Conference on Grammatical Inference 2016 (ICGI'16), Oct 2016, Delft, Netherlands
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::be04501d168c0d9d3ba5610e3ee34cdc
https://hal.univ-grenoble-alpes.fr/hal-01415900
https://hal.univ-grenoble-alpes.fr/hal-01415900
Publikováno v:
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dfd8a21bd5d685b15931019c9328a98d
https://hal.univ-grenoble-alpes.fr/hal-01415892
https://hal.univ-grenoble-alpes.fr/hal-01415892
Publikováno v:
In Advances In Computers 2013 89:89-139