Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Patrons de propriétés"'
Autor:
Yves Le Traon, Amine Raji, Beno It Baudry, Jean-Charles Roger, Philippe Dhaussy, Frédéric Boniol
Publikováno v:
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
TSI. Technique et science informatiques, 31(6), 797--825. Lavoisier (2012).
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
TSI. Technique et science informatiques, 31(6), 797--825. Lavoisier (2012).
International audience; Un des défis posés aux méthodes formelles est leur intégration dans les processus de développement industriel. Une des difficultés rencontrées par les techniques formelles telles que le model-checking est l'explosion de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::994fb6a4d909997cd7a8ccc0c4fb6b23
https://doi.org/10.3166/tsi.31.797-826
https://doi.org/10.3166/tsi.31.797-826
Publikováno v:
AFADL 2016
AFADL 2016, i, Jun 2016, Besançon, France
AFADL 2016, i, Jun 2016, Besançon, France
International audience; Pour faciliter et encadrer l’expression des propriétés formelles, des alternatives auxlogiques temporelles, telles que LTL ou CTL, ont été proposés, au prix de la réductionde l’expressivité. Celles-ci proposent des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a7f798d9e7bce68613388a2727d2003
https://hal.archives-ouvertes.fr/hal-01326333
https://hal.archives-ouvertes.fr/hal-01326333
Autor:
Cabrera Castillos, Kalou
Les travaux proposés dans cette thèse, effectuée dans le cadre du projet ANR TASCCC, présentent une technique de génération de tests à partir de modèles comportementaux en UML/OCL et de proprié- tés temporelles. Pour cela, nous de
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00924485
http://tel.archives-ouvertes.fr/docs/00/92/44/85/PDF/These.pdf
http://tel.archives-ouvertes.fr/docs/00/92/44/85/PDF/These.pdf
Autor:
Cabrera Castillos, Kalou
Publikováno v:
Génie logiciel [cs.SE]. Université de Franche-Comté, 2013. Français
In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal properties. To this end, we describe a temporal property langage based from the property
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::966f33ab4b8a9dc6fca6d9ce78985c23
https://tel.archives-ouvertes.fr/tel-00924485/document
https://tel.archives-ouvertes.fr/tel-00924485/document
Publikováno v:
CAL 2012
CAL 2012-, May 2012, Montpellier, France
CAL 2012-, May 2012, Montpellier, France
International audience; L'ingéenierie des architectures logicielles basée sur le prototypage rapide conduit à des itérations nombreuses dont le coût en simulation ne peut être néegligé. Ceci se révèle particulièrement crucial pour les appl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d9153738aba4c053e1a183256612518
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00703785
https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00703785
Autor:
Haydar, May
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/17888