Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Kahina Hacid"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 24-33 (2018)
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to d
Externí odkaz:
https://doaj.org/article/211ac8b3581b449db7dbbfbd361d15e7
Publikováno v:
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24-33. ⟨10.4204/EPTCS.271.2⟩
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 24-33 (2018)
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24-33. ⟨10.4204/EPTCS.271.2⟩
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 24-33 (2018)
This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4c29d85373d8b0ef75f782759d5404f
http://arxiv.org/abs/1805.05518
http://arxiv.org/abs/1805.05518
Publikováno v:
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
HAL
First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
HAL
International audience; This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9a38140b517dc3518c559517e188ad47
https://hal.archives-ouvertes.fr/hal-01636944
https://hal.archives-ouvertes.fr/hal-01636944
Autor:
Kahina Hacid, Yamine Aït-Ameur
Publikováno v:
MEDI 2016: Model and Data Engineering
International Conference on Model and Data Engineering (MEDI 2016)
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.234-244
Model and Data Engineering ISBN: 9783319455464
MEDI
International Conference on Model and Data Engineering (MEDI 2016)
International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almeria, Spain. pp.234-244
Model and Data Engineering ISBN: 9783319455464
MEDI
International audience; Complex engineering systems execute within different contexts and domains. The heterogeneity induced by these contexts is usually implicitly handled in the development cycle of such systems. We claim that reducing this heterog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75fc5e1fcaa0f949ed700e0a0b2942c8
https://oatao.univ-toulouse.fr/24897/
https://oatao.univ-toulouse.fr/24897/
Autor:
Kahina Hacid
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
ISoLA (2)
Complex systems models are designed in heterogeneous domains and this heterogeneity is rarely considered explicitly when describing and validating processes. Moreover, these systems usually involve several domain experts and several design models cor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b1645d1bbc7ff762efab3a529e52328
https://doi.org/10.1007/978-3-319-47169-3_56
https://doi.org/10.1007/978-3-319-47169-3_56
Autor:
Yamine Aït-Ameur, Kahina Hacid
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357
ISoLA (1)
ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Oct 2016, Corfu, Greece. pp.340-357
International audience; Critical systems are running in heterogeneous domains. This heterogeneity is rarely considered explicitly when describing and validating processes. Handling explicitly such domain knowledge increases design models robustness d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52677298e190c8a0f4083e861331bc39
https://doi.org/10.1007/978-3-319-47166-2_24
https://doi.org/10.1007/978-3-319-47166-2_24