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 21  trong Tất cả tài nguyên

Kết quả 1 2 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

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Silva, José-Luis ; Fayollas, Camille ; Hamon, Arnaud ; palanque, Philippe ; Martiinie, Célia ; Barboni, Eric

DOI: 10.14279/tuj.eceasst.69.967 ; Related DOI: 10.14279/tuj.eceasst.69 ; Related DOI: 10.14279/tuj.eceasst.69.967.947

Toàn văn sẵn có

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

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

Navarre, David ; Palanque, Philippe ; Barboni, Eric ; Ladry, Jean - Francois ; Martinie, Celia

Reliability Engineering and System Safety, Jan, 2011, Vol.96(1), p.38(15) [Tạp chí có phản biện]

ISSN: 0951-8320

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

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

Navarre, David ; Palanque, Philippe ; Barboni, Eric ; Ladry, Jean-François ; Martinie, Célia

Reliability Engineering and System Safety, 2011, Vol.96(1), pp.38-52 [Tạp chí có phản biện]

ISSN: 0951-8320 ; DOI: 10.1016/j.ress.2010.06.028

Toàn văn sẵn có

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

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Barboni, Eric ; Martinie, Célia ; Navarre, David ; Palanque, Philippe ; Winckler, Marco

Science of Computer Programming, 15 June 2014, Vol.86, pp.3-29 [Tạp chí có phản biện]

ISSN: 0167-6423 ; DOI: 10.1016/j.scico.2013.04.001

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

Software Components: a Formal Semantics Based on Coloured Petri Nets

Bastide, Remi ; Barboni, Eric

Electronic Notes in Theoretical Computer Science, August 8, 2006, Vol.160, p.57(17) [Tạp chí có phản biện]

ISSN: 1571-0661

Toàn văn sẵn có

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

Improving modularity of interactive software with the MDPC Architecture

Conversy, Stéphane ; Barboni, Eric ; Navarre, David ; Palanque, Philippe

Lecture Notes in Computer Science, 22 March 2007, Vol.4940 2008 [Tạp chí có phản biện]

ISSN: 0302-9743 ; DOI: 10.1007/978-3-540-92698-6

Toàn văn sẵn có

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

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

Barboni, Eric ; Conversy, Stéphane ; Navarre, David ; Palanque, Philippe

Lecture Notes in Computer Science, 26 July 2006, Vol.4323 [Tạp chí có phản biện]

ISSN: 0302-9743 ; DOI: 10.1007/978-3-540-69554-7_3

Toàn văn sẵn có

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

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

Martinie, Célia ; Palanque, Philippe ; Navarre, David ; Barboni, Eric

Lecture Notes in Computer Science, 2012, Vol.LNCS-7623, pp.72-93 [Tạp chí có phản biện]

DOI: 10.1007/978-3-642-34347-6_5

Toàn văn sẵn có

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

Software Components: a Formal Semantics Based on Coloured Petri Nets

Bastide, Remi ; Barboni, Eric

Electronic Notes in Theoretical Computer Science, 8 August 2006, Vol.160, pp.57-73 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/j.entcs.2006.05.016

Toàn văn sẵn có

Phiên bản sẵn có
10
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A User-Centered View on Formal Methods: Interactive Support for Validation and Verification

Barboni, Eric ; Hamon, Arnaud ; Martinie De Almeida, Celia ; Palanque, Philippe

Proceedings of the Workshop on Formal Methods in Human Computer Interaction 2015, June 2015

Toàn văn sẵn có

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

Usability aspects of the inside-in approach for ancillary search tasks on the web

Winckler, Marco Antonio ; Cava, Ricardo ; Barboni, Eric ; Palanque, Philippe ; Freitas, Carla

Lecture Notes in Computer Science, August 2015, Vol.LNCS-9297(Part II), pp.211-230 [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-22668-2_18

Toàn văn sẵn có

12
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

Martinie, Célia ; Palanque, Philippe ; Navarre, David ; Barboni, Eric; Winckler, Marco (Editor) ; Forbrig, Peter (Editor) ; Bernhaupt, Regina (Editor)

Lecture Notes in Computer Science, Human-Centered Software Engineering: 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings, pp.72-93

ISBN: 9783642343469 ; ISBN: 3642343465 ; E-ISBN: 9783642343476 ; E-ISBN: 3642343473 ; DOI: 10.1007/978-3-642-34347-6_5

Toàn văn sẵn có

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

A Fault-Tolerant Architecture for Resilient Interactive Systems

Camille, Fayollas ; Palanque, Philippe ; Fabre, Jean-Charles ; Navarre, David ; Barboni, Eric ; Cronel, Martin ; Deleris, Yannick

IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, 2014, pp.80-90

Toàn văn sẵn có

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

Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Hamon, Arnaud ; Martinie, Celia ; Palanque, Philippe ; Barboni, Eric ; Navarre, David ; Tankeu-Choitat, Adrienne

ERTS 2012 proceedings, 02 February 2012

Toàn văn sẵn có

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

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Silva, José-Luis ; Fayollas, Camille ; Hamon, Arnaud ; palanque, Philippe ; Martiinie, Célia ; Barboni, Eric

DOI: 10.14279/tuj.eceasst.69.967.947 ; Related DOI: 10.14279/tuj.eceasst.69.967

Toàn văn sẵn có

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

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Winckler, Marco ; Barboni, Eric ; Palanque, Philippe ; Farenc, Christelle

Electronic Notes in Theoretical Computer Science, 22 May 2006, Vol.157(2), pp.207-211 [Tạp chí có phản biện]

ISSN: 1571-0661 ; DOI: 10.1016/j.entcs.2005.12.056

Toàn văn sẵn có

Phiên bản sẵn có
17
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification

Barboni, Eric ; Navarre, David ; Palanque, Philippe

Lecture Notes in Computer Science, Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, pp.25-38

ISBN: 9783540695530 ; ISBN: 3540695532 ; E-ISBN: 9783540695547 ; E-ISBN: 3540695540 ; DOI: 10.1007/978-3-540-69554-7_3

Toàn văn sẵn có

18
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing

Navarre, David ; Palanque, Philippe ; Barboni, Eric ; Mistrzyk, Tomasz

Lecture Notes in Computer Science, Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings, pp.140-154

ISBN: 9783540772217 ; ISBN: 3540772219 ; E-ISBN: 9783540772224 ; E-ISBN: 3540772227 ; DOI: 10.1007/978-3-540-77222-4_12

Toàn văn sẵn có

19
Improving Modularity of Interactive Software with the MDPC Architecture
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Improving Modularity of Interactive Software with the MDPC Architecture

Barboni, Eric ; Navarre, David ; Palanque, Philippe; Gulliksen, Jan (Editor) ; Harning, Morton Borup (Editor) ; Palanque, Philippe (Editor) ; Veer, Gerrit C (Editor) ; Wesson, Janet (Editor)

Lecture Notes in Computer Science, Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers, pp.321-338

ISBN: 9783540926979 ; ISBN: 3540926976 ; E-ISBN: 9783540926986 ; E-ISBN: 3540926984 ; DOI: 10.1007/978-3-540-92698-6_20

Toàn văn sẵn có

20
SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

SWCEditor: A Model-Based Tool for Interactive Modelling of Web Navigation

Winckler, Marco ; Barboni, Eric ; Farenc, Christelle ; Palanque, Philippe; Jacob, Robert J.K (Editor) ; Limbourg, Quentin (Editor) ; Vanderdonckt, Jean (Editor)

Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira, pp.55-66

ISBN: 9781402031458 ; ISBN: 1402031459 ; E-ISBN: 9781402033049 ; E-ISBN: 1402033044 ; DOI: 10.1007/1-4020-3304-4_5

Toàn văn sẵn có

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

Kết quả 1 2 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 (10)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2006  (1)
  2. 2006đến2006  (5)
  3. 2007đến2007  (3)
  4. 2008đến2011  (3)
  5. Sau 2011  (9)
  6. Lựa chọn khác open sub menu

Ngôn ngữ 

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

Gợi ý tìm kiếm

Bỏ qua truy vấn này và tìm kiếm mọi thứ

theo tác giả:

  1. Barboni, Eric
  2. Palanque, Philippe
  3. Navarre, David
  4. Barboni, E.
  5. Palanque, P.

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