Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Julien Dormoy"'
Publikováno v:
8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011
8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57
8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57
International audience; This paper deals with the formal specification and verification of dynamic reconfigurations of component-based systems. To validate such complex systems, there is a need to check model consistency and also to ensure that dynam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94b8aa09e62cd52fb080ebc24e84bb8a
https://doi.org/10.1016/j.entcs.2011.11.011
https://doi.org/10.1016/j.entcs.2011.11.011
Publikováno v:
Formal Aspects of Component Software ISBN: 9783642357428
FACS
8th International Symposium on Formal Aspects of Component Software-FACS 2011
8th International Symposium on Formal Aspects of Component Software-FACS 2011, Sep 2011, Oslo, Norway
FACS
8th International Symposium on Formal Aspects of Component Software-FACS 2011
8th International Symposium on Formal Aspects of Component Software-FACS 2011, Sep 2011, Oslo, Norway
International audience; Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at runtime. Recently we have proposed a temporal pattern logic, called FTPL, to charac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::038fca96f4fa0d9f43b3fd873342a1a4
https://doi.org/10.1007/978-3-642-35743-5_8
https://doi.org/10.1007/978-3-642-35743-5_8
Publikováno v:
FM 2012: Formal Methods ISBN: 9783642327582
FM
FM
Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architecture to evolve at runtime. Recently, a linear temporal pattern logic, called FTPL, has been defined to express desired—archi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53f7f375049e7b9071f2f00ca7058872
https://doi.org/10.1007/978-3-642-32759-9_16
https://doi.org/10.1007/978-3-642-32759-9_16
Autor:
Julien Dormoy, Olga Kouchnarenko
Publikováno v:
AICCSA
Component-based development is a commonly used technique to build complex systems. In order to satisfy specific requirements, adaptation policies provide a solution to dynamically reconfigure the component model with relation to its environment. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b4dfd34f9fd9bbf03a955c6b07f3635
https://doi.org/10.1109/aiccsa.2010.5586944
https://doi.org/10.1109/aiccsa.2010.5586944
Publikováno v:
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
7th International Workshop on Formal Aspects of Component Software-FACS'2010
7th International Workshop on Formal Aspects of Component Software-FACS'2010, Oct 2010, Guimaraes, Portugal
Formal Aspects of Component Software ISBN: 9783642272684
FACS
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
7th International Workshop on Formal Aspects of Component Software-FACS'2010
7th International Workshop on Formal Aspects of Component Software-FACS'2010, Oct 2010, Guimaraes, Portugal
Formal Aspects of Component Software ISBN: 9783642272684
FACS
International audience; Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specification and verification of dynami
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a129cd202cce5e110b01d39d987605b
https://hal.archives-ouvertes.fr/hal-00662875/file/dkl10_ip.pdf
https://hal.archives-ouvertes.fr/hal-00662875/file/dkl10_ip.pdf
Publikováno v:
Journal Européen des Systèmes Automatisés (JESA)
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-8-9), pp.773-789
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-8-9), pp.773-789
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-8-9), pp.773-789
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 43 (7-8-9), pp.773-789
International audience; Les approches à base de composants sont intensivement étudiées dans le cadre des systèmes complexes. Ces approches visent à concevoir des systèmes et des applications par assemblage de composants préfabriqués, réutili
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22933676ab19c5bc69e4cc8c6c39d3f3
https://hal.science/hal-00434482/document
https://hal.science/hal-00434482/document