Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Makhlouf, Amani"'
Autor:
Makhlouf, Amani
Les travaux de cette thèse ont pour cadre la vérification formelle, et plus spécifiquement le projet ANR Blanc CLIMT (Categorical and Logical Methods in Model Transformation) dédié aux grammaires de graphes. Ce projet, qui a démarré en févrie
Externí odkaz:
http://www.theses.fr/2019INPT0027/document
Publikováno v:
First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019)
First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019), Jul 2019, Guilin, China
First International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems (KMOTS 2019), Jul 2019, Guilin, China
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::095d64d617ec597c8813dde48a18c6a2
https://hal.archives-ouvertes.fr/hal-03003816
https://hal.archives-ouvertes.fr/hal-03003816
Publikováno v:
International Journal On Advances in Software
International Journal On Advances in Software, IARIA, 2018, 11 (1 & 2), pp.147-158
International Journal On Advances in Software, IARIA, 2018, 11 (1 & 2), pp.147-158
International audience; We aim at assisting developers to write, in a Hoare style, provably correct graph transformations expressed in the ALCQ Description Logic. Given a postcondition and a transformation rule, we compute the weakest precondition fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::643c41fa1fd42b6c23a0b6b1ca0ec087
https://hal.archives-ouvertes.fr/hal-02089337/document
https://hal.archives-ouvertes.fr/hal-02089337/document
We aim at assisting developers to write, in a Hoare style, provably correct graph transformations expressed in the ALCQ Description Logic. Given a postcondition and a transformation rule, we compute the weakest precondition for developers. However, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::23d07bae11c81430e7ac92441d56e63b
https://oatao.univ-toulouse.fr/22310/
https://oatao.univ-toulouse.fr/22310/
Publikováno v:
Tests & Proofs (9783319411347); 2016, p183-190, 8p
