Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Idir AIT SADOUNE"'
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:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e43f76b828096bc912fbd1cb97e50a2
https://doi.org/10.1007/978-3-031-33163-3_2
https://doi.org/10.1007/978-3-031-33163-3_2
Autor:
Idir AIT SADOUNE
Publikováno v:
9th Rodin User and Developer Workshop
9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany
HAL
9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::035db64191bbe2c10c4f6369b394cb0b
https://hal.archives-ouvertes.fr/hal-03265730/document
https://hal.archives-ouvertes.fr/hal-03265730/document
Autor:
Philippe Fournier-Viger, Ahmed Hassan, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Ait Sadoune
This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected fro
Autor:
Linda Mohand-Oussaid, Idir Ait-Sadoune
Publikováno v:
9th International Conference on Model and Data Engineering-MEDI 2019
9th International Conference on Model and Data Engineering-MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩
Model and Data Engineering ISBN: 9783030320645
MEDI
9th International Conference on Model and Data Engineering-MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩
Model and Data Engineering ISBN: 9783030320645
MEDI
International audience; Ontologies are structured data models used to describe a set of concepts related to a specific domain, they describe also the semantic properties of these concepts. Formal development process aims to develop a system with resp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dd19d41e69ea98f84873a6c0c9f0e96
https://hal.archives-ouvertes.fr/hal-02385378
https://hal.archives-ouvertes.fr/hal-02385378
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:
International Conference on Intelligent Computer Mathematics (CICM)
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Lecture Notes in Computer Science ISBN: 9783319968117
CICM
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Lecture Notes in Computer Science ISBN: 9783319968117
CICM
International audience; While Isabelle is mostly known as part of Isabelle/HOL (an interactive theorem prover), it actually provides a framework for developing a wide spectrum of applications. A particular strength of the Isabelle framework is the co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c19539b9847d6472abbef93432337ca7
https://hal.archives-ouvertes.fr/hal-01875734/file/brucker.ea-isabelle-ontologies-2018.pdf
https://hal.archives-ouvertes.fr/hal-01875734/file/brucker.ea-isabelle-ontologies-2018.pdf
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩
Requirements engineering plays a crucial role in the development process of an information system as it aims at providing a complete and accurate requirement specification. In the life cycle of a Data Repository (\({\mathcal {D}}{\mathcal {R}}\)) suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9e199ef4435ba993ae8cd3fdf5e5bfa
https://hal.archives-ouvertes.fr/hal-01438130
https://hal.archives-ouvertes.fr/hal-01438130
Publikováno v:
Computing
Computing, Springer Verlag, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩
Computing, Springer Verlag, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩
Multimodal human---computer interaction (HCI) combine modalities at an abstract specification level in order to get information from the user (input multimodality) and to return information to the user (output multimodality). These multimodal interfa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bbbb159932fd2345bdf993b59b9814ac
https://doi.org/10.1007/s00607-015-0460-y
https://doi.org/10.1007/s00607-015-0460-y
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