skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 51  trong Tất cả tài nguyên

Kết quả 1 2 3 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Handling Domain Knowledge in Design and Analysis of Engineering Models

Hacid, Kahina ; Ait-Ameur, Yamine

DOI: 10.14279/tuj.eceasst.74.1045.1029 ; Related DOI: 10.14279/tuj.eceasst.74.1045

Toàn văn sẵn có

2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A formal model for plastic human computer interfaces

Chebieb, Abdelkrim ; Ait Ameur, Yamine

Frontiers of Computer Science, 2018, Vol.12(2), pp.351-375 [Tạp chí có phản biện]

ISSN: 2095-2228 ; E-ISSN: 2095-2236 ; DOI: 10.1007/s11704-016-5460-3

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Handling Domain Knowledge in Design and Analysis of Engineering Models

Hacid, Kahina ; Ait-Ameur, Yamine

DOI: 10.14279/tuj.eceasst.74.1045 ; Related DOI: 10.14279/tuj.eceasst.74 ; Related DOI: 10.14279/tuj.eceasst.74.1045.1029

Toàn văn sẵn có

4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Toward a wider use of formal methods for aerospace systems design and verification

Ait Ameur, Yamine ; Boniol, Frédéric ; Wiels, Virginie

International Journal on Software Tools for Technology Transfer, 2010, Vol.12(1), pp.1-7 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-009-0131-4

Toàn văn sẵn có

Phiên bản sẵn có
5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A correct-by-construction model for asynchronously communicating systems

Farah, Zoubeyr ; Ait-Ameur, Yamine ; Ouederni, Meriem ; Tari, Kamel

International Journal on Software Tools for Technology Transfer, 2017, Vol.19(4), pp.465-485 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-016-0421-6

Toàn văn sẵn có

Phiên bản sẵn có
6
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Sautot, Lucile ; Bimonte, Sandro ; Journaux, Ludovic ; Faivre, Bruno;; Ait Ameur, Yamine ; Bellatreche, Ladjel ; Papadopoulos, George

Series ISSN: 0302-9743 ; ISBN: 978-3-319-11586-3 ; E-ISBN: 978-3-319-11587-0 ; DOI: 10.1007/978-3-319-11587-0

Toàn văn sẵn có

Phiên bản sẵn có
7
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Ait Ameur, Yamine ; Schewe, Klaus-Dieter

Series ISSN: 0302-9743 ; ISBN: 978-3-662-43651-6 ; E-ISBN: 978-3-662-43652-3 ; DOI: 10.1007/978-3-662-43652-3

Toàn văn sẵn có

8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Ontologies in engineering: the OntoDB/OntoQL platform

Ait-Ameur, Yamine ; Baron, Mickaël ; Bellatreche, Ladjel ; Jean, Stéphane ; Sardet, Eric

Soft Computing, 2017, Vol.21(2), pp.369-389 [Tạp chí có phản biện]

ISSN: 1432-7643 ; E-ISSN: 1433-7479 ; DOI: 10.1007/s00500-015-1633-5

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

AN ONTOLOGY AND INDEXATION BASED MANAGEMENT OF SERVICES AND WORKFLOWS APPLICATION TO GEOLOGICAL MODELING

Belaid, Nabil ; Jean, Stéphane ; Ait-Ameur, Yamine ; Rainaud, Jean-François

International Journal of Electronic Business Management, Dec 2011, Vol.9(4), pp.296-309 [Tạp chí có phản biện]

ISSN: 17282047 ; E-ISSN: 20771061

Toàn văn sẵn có

10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A formal model for output multimodal HCI

Mohand-Oussaid, Linda ; Ait-Sadoune, Idir ; Ait-Ameur, Yamine ; Ahmed-Nacer, Mohamed

Computing, 2015, Vol.97(7), pp.713-740 [Tạp chí có phản biện]

ISSN: 0010-485X ; E-ISSN: 1436-5057 ; DOI: 10.1007/s00607-015-0460-y

Toàn văn sẵn có

Phiên bản sẵn có
11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The landing gear case study: challenges and experiments.(Editorial)

Boniol, Frederic ; Wiels, Virginie ; Ait-Ameur, Yamine ; Schewe, Klaus-Dieter

International Journal on Software Tools for Technology Transfer (STTT), 2017, Vol.19(2), p.133(8) [Tạp chí có phản biện]

ISSN: 1433-2779 ; DOI: 10.1007/s10009-016-0431-4

Toàn văn sẵn có

Phiên bản sẵn có
12
Using knowledge and expressions to validate inter-model constraints
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Using knowledge and expressions to validate inter-model constraints

Zayas, David Simon ; Monceaux, Anne ; Ait-Ameur, Yamine

IFAC Proceedings Volumes, 01/2011, Vol.44(1), pp.2737-2742

ISSN: 14746670 ; DOI: http://dx.doi.org/10.3182/20110828-6-IT-1002.03801

Toàn văn sẵn có

13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A scalable model based approach for data model evolution: Application to space missions data models

Oubelli, Lynda Ait ; Aït Ameur, Yamine ; Bedouet, Judicaël ; Kervarc, Romain ; Chausserie-Laprée, Benoît ; Larzul, Béatrice

Computer Languages, Systems & Structures, December 2018, Vol.54, pp.358-385 [Tạp chí có phản biện]

ISSN: 1477-8424 ; DOI: 10.1016/j.cl.2018.08.001

Toàn văn sẵn có

Phiên bản sẵn có
14
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Ait Ameur, Yamine ; Ait Sadoune, Idir ; Hacid, Kahina ; Mohand Oussaid, Linda

Electronic Proceedings in Theoretical Computer Science, 5/12/2018, Vol.271, pp.24-33

E-ISSN: 2075-2180 ; DOI: http://dx.doi.org/10.4204/EPTCS.271.2

Toàn văn sẵn có

Phiên bản sẵn có
15
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

Boniol, Frédéric ; Wiels, Virginie ; Ait Ameur, Yamine ; Schewe, Klaus-Dieter

Series ISSN: 1865-0929 ; ISBN: 978-3-319-07511-2 ; E-ISBN: 978-3-319-07512-9 ; DOI: 10.1007/978-3-319-07512-9

Toàn văn sẵn có

16
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Fayollas, Camille ; Martinie, Célia ; Palanque, Philippe ; Aït-Ameur, Yamine

Lecture Notes in Computer Science, 2018, Vol.LNCS-10774, pp.91-105 [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-92081-8_9

Toàn văn sẵn có

17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Aït-Ameur, Yamine ; Aït-Sadoune, Idir ; Baron, Mickael ; Mota, Jean-Marc

Journal d'Interaction Personne-Système (JIPS), September 2010, Vol.1(1), pp.1-30

ISSN: 2418-1838

Toàn văn sẵn có

18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Formal and experimental validation approaches in HCI systems design based on a shared event B model

Ait-Ameur, Yamine ; Baron, Mickael

International Journal on Software Tools for Technology Transfer, 2006, Vol.8(6), pp.547-563 [Tạp chí có phản biện]

ISSN: 1433-2779 ; E-ISSN: 1433-2787 ; DOI: 10.1007/s10009-006-0008-8

Toàn văn sẵn có

Phiên bản sẵn có
19
Handling Heterogeneity in Formal Developments of Hardware and Software Systems
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Handling Heterogeneity in Formal Developments of Hardware and Software Systems

Ait-Ameur, Yamine ; Méry, Dominique; Margaria, Tiziana (Editor) ; Steffen, Bernhard (Editor)

Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, pp.327-328

ISBN: 9783642340314 ; ISBN: 3642340318 ; E-ISBN: 9783642340321 ; E-ISBN: 3642340326 ; DOI: 10.1007/978-3-642-34032-1_33

Toàn văn sẵn có

20
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study

Singh, Neeraj Kumar ; Aït-Ameur, Yamine ; Pantel, Marc ; Dieumegard, Arnaud ; Jenn, Eric

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 16 January 2017

Toàn văn sẵn có

Kết quả 1 - 20 của 51  trong Tất cả tài nguyên

Kết quả 1 2 3 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (15)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2007  (6)
  2. 2007đến2008  (9)
  3. 2009đến2010  (6)
  4. 2011đến2014  (15)
  5. Sau 2014  (15)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (49)
  2. French  (3)
  3. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...