Výsledky vyhledávání - "Petit, Dorian"

Evaluation and qualification of mobile application quality

Autor: Bisiaux, Rudy, DESERTOT, Mikael, Lecomte, Sylvain, Petit, Dorian

Publikováno v: International Journal of Next-Generation Computing
International Journal of Next-Generation Computing, Perpetual Innovation Media Pvt. Ltd., 2020

International audience; Development of mobile applications has previously encountered, and still encounters, challenges related to the specificity of the mobile world. The usual rules of software engineering tend not to respond to certain mobile deve

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::df4fab73c242826376fdc630e1be8602
https://hal-uphf.archives-ouvertes.fr/hal-03396938

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

A systematic mapping study on agent mining.

Autor: Grislin-Le Strugeon, Emmanuelle, Marcal de Oliveira, Kathia, Thilliez, Marie, Petit, Dorian

Publikováno v: Journal of Experimental & Theoretical Artificial Intelligence; Apr2022, Vol. 34 Issue 2, p189-214, 26p

Zobrazit plný text záznamu

Plný text ve formátu HTML

Improving quality on native and cross-platform mobile application

Autor: Bisiaux, Rudy, DESERTOT, Mikael, Lecomte, Sylvain, Perchat, Joachim, Petit, Dorian

Publikováno v: Mobility2017, The Seventh International Conference on Mobile Services, Resources, and Users
Mobility2017, The Seventh International Conference on Mobile Services, Resources, and Users, Jun 2017, Venice, Italy

International audience; This paper discusses quality markers for a mobileapplication, both during conception and development, to proposethe most suitable way to validate them automatically. We focuson native and cross-platform applications, as well a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::68ed9d4fde3e17373a0864ec91b5502c
https://hal-uphf.archives-ouvertes.fr/hal-03388326

Zobrazit plný text záznamu

Akademický článek

THE B METHOD AND THE COMPONENT-BASED APPROACH.

Autor: Petit, Dorian¹, Poirriez, Vincent¹, Mariano, Georges²

Publikováno v: Journal of Integrated Design & Process Science. Mar2004, Vol. 8 Issue 1, p65-76. 12p.

Zobrazit plný text záznamu

BRILLANT/BCaml—AFreeTools Platform for the B Method

Autor: Petit, Dorian, Colin, Samuel

Publikováno v: Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, John Wiley & Sons, Inc., 2014, 9781848217096

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0b8fdd2b890c77aac9daab1a8f99fdfa
https://hal-uphf.archives-ouvertes.fr/hal-03379039

Zobrazit plný text záznamu

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Autor: Colin, Samuel, Petit, Dorian

Publikováno v: Mise en oeuvre de la méthode B
Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107

National audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::0436b0674d12ddf7a2118fa2da38da9a
https://hal-uphf.archives-ouvertes.fr/hal-03517848

Zobrazit plný text záznamu

A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification

Autor: Collart-Dutilleul, Simon, Bon, Philippe, Petit, Dorian

Publikováno v: Proceedings of 3rd IEEE International Symposium on Logistics and Industrial Informatics
LINDI 2011
LINDI 2011, 2011, Budapest, Hungary. pp.CDROM

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::574fc33b56e1cf5e27b757fd06ee32da
https://hal.archives-ouvertes.fr/hal-00838049

Zobrazit plný text záznamu

BRILLANT: an open source platform for B

Autor: Colin, Samuel, Petit, Dorian, Mariano, Georges, Poirriez, Vincent

Publikováno v: Workshop on Tool Building in Formal Methods
Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada

International audience; This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::78a2737c12fb3d051b7e6144f671edaa
https://hal.inria.fr/inria-00480709/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání