Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Hana Mkaouar"'
Publikováno v:
Software and Systems Modeling. 22:175-201
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8203ffd7d462b5df0648266b0b7e0da8
https://doi.org/10.1007/s10270-022-00989-z
https://doi.org/10.1007/s10270-022-00989-z
Autor:
Rima Al-Ali, Vasco Amaral, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barišić, Dominique Blouin, Didier Buchs, Paulo Carreira, Moharram Challenger, Joachim Denil, Nisrine El Marzouki, Ferhat Erata, Raheleh Eslampanah, Alexander K. Fedotov, Alexander S. Fedotov, Holger Giese, Miguel Goulão, Andrii Hnatov, Mauro Iacono, Burak Karaduman, Geylani Kardas, Stefan Klikovits, Nadezda Kunicina, Peter Gorm Larsen, Rakshit Mittal, Hana Mkaouar, Eva Navarro-López, Mihai Neghină, Oksana Nikiforova, Joan Peuteman, Ken Pierce, Andrejs Romanovs, Kuldar Taveter, Bedir Tekinerdogan, Baris Tekin Tezel, Hans Vangheluwe, Ken Vanherpen, Anatolijs Zabasta, Constantin Bălă Zamfirescu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e3164e33d92dd9ee5cfeacf9770695b
https://doi.org/10.1016/b978-0-12-819105-7.00005-2
https://doi.org/10.1016/b978-0-12-819105-7.00005-2
Autor:
Moussa Amrani, Dominique Blouin, Rima Al-Ali, Mauro Iacono, Stefan Klikovits, Ferhat Erata, Hana Mkaouar, Holger Giese, Soumyadip Bandyopadhyay
Publikováno v:
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
This chapter presents the ontology for Multi-Paradigm Modelling (MPM) specfied using the Web Ontology Language (OWL) as introduced in Chapter 2 . A thorough state of the art on MPM's core notions including multi-formalism and model management approac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8d0f06dffd4eaaf3e0d12aef5e89909
http://hdl.handle.net/11591/463755
http://hdl.handle.net/11591/463755
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (2), pp.219-247. ⟨10.1007/s10009-019-00513-7⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 22 (2), pp.219-247. ⟨10.1007/s10009-019-00513-7⟩
International audience; Formal methods have become a recommended practice in safety-critical software engineering. To be formally verified, a system should be specified with a specific formalism such as Petri nets, automata and process algebras, whic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db68c62435bd8c98d3a3cca6fa3feea0
https://oatao.univ-toulouse.fr/26858/
https://oatao.univ-toulouse.fr/26858/
Autor:
Ivan Ruchkin, Raheleh Eslampanah, Letitia W. Li, Hana Mkaouar, Moharram Challenger, Ankica Barisic, Dušan Savić, Antonio Cicchetti, Oksana Nikiforova, Dominique Blouin, Mustafa Abshir Mohamed, Rima Al-Ali
Publikováno v:
Journal of systems and software
Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal of Systems and Software
Journal of Systems and Software, Elsevier, 2021, ⟨10.1016/j.jss.2021.111081⟩
Journal of Systems and Software, 2021, ⟨10.1016/j.jss.2021.111081⟩
International audience; Cyber-Physical Systems (CPS) are heterogeneous and require cross-domain expertise to model. The complexity of these systems leads to questions about prevalent modeling approaches, their ability to integrate heterogeneous model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6da59dc980629097fff67dbedf96de16
https://doi.org/10.1016/j.jss.2021.111081
https://doi.org/10.1016/j.jss.2021.111081
Publikováno v:
International Journal of Business and Systems Research. 14:162
The analysis of real-time systems designed by architectural languages such as architecture analysis and design language (AADL) is a challenging research topic. In such a context, formal methods become an advocated practice in software engineering for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ff3e599067c4b76823a97c1e3c7fe92
https://doi.org/10.1504/ijbsr.2020.10027613
https://doi.org/10.1504/ijbsr.2020.10027613
Publikováno v:
Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC'18)
ACM Symposium on Applied Computing (SAC'18)
ACM Symposium on Applied Computing (SAC'18), Apr 2018, Pau, France. pp.1402-1409, ⟨10.1145/3167132.3167282⟩
SAC
ACM Symposium on Applied Computing (SAC'18)
ACM Symposium on Applied Computing (SAC'18), Apr 2018, Pau, France. pp.1402-1409, ⟨10.1145/3167132.3167282⟩
SAC
International audience; The formal veri cation has become a recommended practice in safety-critical software engineering. The hand-written of the for- mal speci cation requires a formal expertise and may become com- plex especially with large systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c87b86df63e2a746019a8b1c6528b0ee
https://oatao.univ-toulouse.fr/20727/
https://oatao.univ-toulouse.fr/20727/