YAMINE AIT AMEUR
YAMINE AIT AMEUR
IRIT/INPT-ENSEEIHT, University of Toulouse
Dirección de correo verificada de n7.fr
Título
Citado por
Citado por
Año
Domain ontologies: A database-oriented analysis
S Jean, G Pierra, Y Ait-Ameur
Web Information Systems and Technologies, 238-254, 2007
912007
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
652006
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
562005
Formal Validation of HCI User Tasks.
YA Ameur, M Baron, P Girard
Software engineering research and practice, 732-738, 2003
392003
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
391998
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
382009
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
372004
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
371998
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 (6), 547-563, 2006
352006
SISRO, conception de bases de données à partir d'ontologies de domaine: ONTOLOGIES POUR LE PARTAGE D'INFORMATION
C Fankam, L Bellatreche, H Dehainsala, Y AIT AMEUR, G Pierra
TSI. Technique et science informatiques 28 (10), 1233-1261, 2009
332009
OntoQL, un langage d'exploitation des bases de données à base ontologique
S Jean
332007
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
312007
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
302016
Querying Ontology Based Databases-The OntoQL Proposal.
S Jean, YA Ameur, G Pierra
SEKE, 166-171, 2006
302006
Formal specification, modelling and exchange of classes of components according to P-LIB. A case study
E Sardet, G Pierra, Y Ait-Ameur
Proc. of the Internat. Symposium on Glogal Engineering Networking, 2-24, 1997
281997
Stepwise design of BPEL web services compositions: an event_b refinement based approach
I Ait-Sadoune, Y Ait-Ameur
Software Engineering Research, Management and Applications 2010, 51-68, 2010
272010
Encoding a process algebra using the Event B method
Y Ait-Ameur, M Baron, N Kamel, JM Mota
International journal on software tools for technology transfer 11 (3), 239-253, 2009
262009
Formal Specification and Metaprogramming in the EXPRESS Language.
YA Ameur, F Besnard, P Girard, G Pierra, JC Potier
SEKE, 181-188, 1995
261995
Spécification des systèmes interactifs
F Jambon, P Brun, Y Aït-Ameur
Analyse et conception de l’IHM. Hermès, Paris, chapitre 6, 175-206, 2001
252001
Simplified representation of parts library: Model, practice and implementation
E Sardet, G Pierra, H Murayama, Y Oodake, Y Ait-Ameur
IN proceeding of PDT Days, QMS edition, 2001
242001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20