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
Lọc theo: Tác giả/ người sáng tác: Navarre, David xóa Ngôn ngữ: English xóa Chủ đề: Multimedia Information Systems xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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ó

2
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Navarre, David ; Palanque, Philippe ; Ladry, Jean-François ; Basnyat, Sandra

Lecture Notes in Computer Science, Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers, pp.208-224

ISBN: 9783540705680 ; ISBN: 3540705686 ; E-ISBN: 9783540705697 ; E-ISBN: 3540705694 ; DOI: 10.1007/978-3-540-70569-7_20

Toàn văn sẵn có

3
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ó

4
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ó

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

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

  1.   

Lọc kết quả

Năm xuất bản 

Từ đến

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