Folgen
YAMINE AIT AMEUR
YAMINE AIT AMEUR
IRIT/INPT-ENSEEIHT, University of Toulouse
Bestätigte E-Mail-Adresse bei n7.fr
Titel
Zitiert von
Zitiert von
Jahr
Domain ontologies: A database-oriented analysis
S Jean, G Pierra, Y Ait-Ameur
Web Information Systems and Technologies: International Conferences, WEBIST …, 2007
1112007
Querying ontology based database using ontoql (an ontology query language)
S Jean, Y Aït-Ameur, G Pierra
OTM Confederated International Conferences" On the Move to Meaningful …, 2006
772006
Bases de données à base ontologique. Principe et mise en oeuvre.
G Pierra, H Dehainsala, YA Ameur, L Bellatreche
Ingénierie des Systèmes d Inf. 10 (2), 91-115, 2005
632005
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
502016
Formal and experimental validation approaches in HCI systems design based on a shared event B model
Y Ait-Ameur, M Baron
International Journal on Software Tools for Technology Transfer 8, 547-563, 2006
452006
Using the B formal approach for incremental specification design of interactive systems
Y Aït-Ameur, P Girard, F Jambon
IFIP International Conference on Engineering for Human-Computer Interaction …, 1998
451998
Formal validation of HCI user tasks
Y Aït-Ameur, M Baron, P Girard
Proc. International Conference on Software Engineering Research and Practice …, 2003
432003
A Uniform approach for the Specification and Design of Interactive Systems: the B method
Y Aït-Ameur, P Girard, F Jambon
Eurographics Workshop on Design, Specification, and Verification of …, 1998
431998
An a priori approach for automatic integration of heterogeneous and autonomous databases
L Bellatreche, G Pierra, DN Xuan, D Hondjack, YA Ameur
International Conference on Database and Expert Systems Applications, 475-485, 2004
422004
A proof based approach for modelling and verifyingweb services compositions
I Ait-Sadoune, Y Ait-Ameur
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
412009
OntoQL, un langage d'exploitation des bases de données à base ontologique
S Jean
Université de Poitiers, 2007
402007
Ontodb: It is time to embed your domain ontology in your database
S Jean, H Dehainsala, DN Xuan, G Pierra, L Bellatreche, Y Aït-Ameur
International Conference on Database Systems for Advanced Applications, 1119 …, 2007
342007
Querying ontology based databases. the ontoql proposal
S Jean, Y Aït-Ameur, G Pierra
Proc. Software Engineering and Knowledge Engineering (SEKE 2006), 166--171, 2006
342006
Proof-based approach to hybrid systems development: dynamic logic and Event-B
G Dupont, Y Aït-Ameur, M Pantel, NK Singh
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
332018
SISRO: conception de bases de données à partir d'ontologies de domaine
C Fankam, L Bellatreche, H Dehainsala, Y Aït-Ameur, G Pierra
Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2009
332009
A correct-by-construction model for asynchronously communicating systems
Z Farah, Y Ait-Ameur, M Ouederni, K Tari
International journal on software tools for technology transfer 19, 465-485, 2017
322017
Formal Specification and Metaprogramming in the EXPRESS Language.
YA Ameur, F Besnard, P Girard, G Pierra, JC Potier
SEKE, 181-188, 1995
301995
Ontologies in engineering: the OntoDB/OntoQL platform
Y Ait-Ameur, M Baron, L Bellatreche, S Jean, E Sardet
Soft Computing 21, 369-389, 2017
292017
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems: Version to Read
Y Ait-Ameur, JP Gibson, D Méry
International Symposium On Leveraging Applications of Formal Methods …, 2014
292014
Formal Specification: Modelling and Exchange of classes of components according to PLIB. A case study
E Sardet, G Pierra, Y Ait-Ameur
Proc. International Symposium on Global Engineering Networking (GEN 1997 …, 1997
291997
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20