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ủ đề: Logics and Meanings of Programs 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ó

5
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

Navarre, David ; Palanque, Philippe ; Basnyat, Sandra; Harrison, Michael D (Editor) ; Sujan, Mark-Alexander (Editor)

Lecture Notes in Computer Science, Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings, pp.373-386

ISBN: 9783540876977 ; ISBN: 3540876979 ; E-ISBN: 9783540876984 ; E-ISBN: 3540876987 ; DOI: 10.1007/978-3-540-87698-4_31

Toàn văn sẵn có

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