Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Mouakher, Inès"'
Autor:
Mouakher, Inès
Publikováno v:
[Research Report] University of Tunis El Manar. 2021
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5eb16d70df4ddba5f3b8b7401ca1f6a4
https://hal.archives-ouvertes.fr/hal-03435797
https://hal.archives-ouvertes.fr/hal-03435797
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.
Publikováno v:
International Journal of Internet Protocol Technology; 2023, Vol. 16 Issue: 2 p75-91, 17p
Autor:
Mouakher, Inès, Alexandre, Francis
Publikováno v:
[Rapport de recherche] 2009, pp.37
Le raffinement est une notion clé dans la méthode B. Nous étudions le rapport entre cette notion et certaines relations entre systèmes de transitions étiquetés telles que la simulation, la bisimulation... Le point de départ de l'étude est la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::49c5d60d7460043eba32e935bb80b693
https://inria.hal.science/inria-00435896
https://inria.hal.science/inria-00435896
Component based software development approaches represent an important challenge for the integration of formal methods into engineering development processes. In these approaches, components are considered as black boxes communicating through require
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::f256b11056ac9cf5b3ae40334555858e
https://hal.archives-ouvertes.fr/hal-00182262
https://hal.archives-ouvertes.fr/hal-00182262
Publikováno v:
11th International Workshop on Component Oriented Programming-WCOP 2006
11th International Workshop on Component Oriented Programming-WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
11th International Workshop on Component Oriented Programming-WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
International audience; In a component-based software development, components are considered as black boxes. They are only described by their interfaces expressing their visible behaviors. They must be connected in an appropriate way, through require
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ab1a660bbbc3d2de022b06a505db9c20
https://hal.inria.fr/inria-00074477
https://hal.inria.fr/inria-00074477
Publikováno v:
Premières Journées Francophones de Programmation par Contraintes-JFPC'2005
Premières Journées Francophones de Programmation par Contraintes-JFPC'2005, CRIL-CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
Premières Journées Francophones de Programmation par Contraintes-JFPC'2005, CRIL-CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
http://www710.univ-lyon1.fr/~csolnon; L'objectif général de ce travail est de prouver les propriétés des programmes logiques (ensemble de clauses de Horn). Ces propriétés sont des formules de la forme A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e91cc36e7aadb96ac71a2ba184d2eaa0
https://hal.inria.fr/inria-00000070
https://hal.inria.fr/inria-00000070