Zobrazeno 1 - 5 of 5 pro vyhledávání: '"Kesraoui, Soraya"'
2
Dissertation/ Thesis
Intégration des techniques de vérification formelle dans une approche de conception des systèmes de contrôle-commande : application aux architectures SCADA
Autor: Kesraoui, Soraya
La conception des systèmes de contrôle-commande souffre souvent des problèmes de communication et d’interprétation des spécifications entre les différents intervenants provenant souvent de domaines techniques très variés. Afin de cadrer la
Externí odkaz: http://www.theses.fr/2017LORIS442/document
Zobrazit plný text záznamu
3
On investigating Metamodel Inaccurate Structures
Autor: Cherfa, Elyes, Kesraoui, Soraya, Tibermacine, Chouki, Fleurquin, Régis, Sadou, Salah
Publikováno v: SAC 2020-35th Annual ACM Symposium on Applied Computing
SAC 2020-35th Annual ACM Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1642-1649, ⟨10.1145/3341105.3374035⟩
35th Annual ACM Symposium on Applied Computing (SAC 2020)
35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1642-1649, ⟨10.1145/3341105.3374035⟩
International audience; Metamodeling allows to capture domain knowledge through the definition of its structure (concepts and relations between them) and its constraints (logical expressions) often written in OCL. The OCL constraints added to a metam
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6cfc427425a9666bed9ce1571f2cbe7f
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03290255/document
Zobrazit plný text záznamu
4
Integration of formal verification techniques into a control-command system design approach : application to SCADA architectures
Autor: Kesraoui, Soraya
Publikováno v: Automatique / Robotique. Université de Bretagne Sud, 2017. Français. ⟨NNT : 2017LORIS442⟩
The design of control-command systems often suffers from problems of communication and interpretation of specifications between the various designers, frequently coming from a wide range of technical fields. In order to address the design of these sy
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::be2333b204bdc5265c2d301aa2cdac5f
https://tel.archives-ouvertes.fr/tel-01738049/document
Zobrazit plný text záznamu
5
Kniha
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
Autor: Mesli-Kesraoui, Soraya, Kesraoui, Djamal, Oquendo, Flavio, Bignon, Alain, Toguyeni, Armand, Berruet, Pascal
Publikováno v: Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings; 2016, p210-226, 17p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje