5th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV‐IS '98

Computer Graphics Forum ◽

10.1111/1467-8659.00224 ◽

1998 ◽

Vol 17 (1) ◽

pp. 99-100

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems: Design, Specification, and Verification

10.1007/978-3-642-87115-3 ◽

1995 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Fifth Eurographics Workshop on Design Specification and Verification of Interactive Systems, Abingdon, UK, June 3-5 1998

Computer Graphics Forum ◽

10.1111/1467-8659.00240 ◽

1998 ◽

Vol 17 (2) ◽

pp. 190-191

Author(s):

P. Markopoulos ◽

P. Johnson

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems Design, Specification, and Verification

10.1007/3-540-44675-3 ◽

2001 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, specification, and verification of interactive systems

ACM SIGSOFT Software Engineering Notes ◽

10.1145/505894.505910 ◽

2001 ◽

Vol 26 (1) ◽

pp. 74-75

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, Specification and Verification of Interactive Systems ’98

10.1007/978-3-7091-3693-5 ◽

1998 ◽

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, Specification and Verification of Interactive Systems ’97

10.1007/978-3-7091-6878-3 ◽

1997 ◽

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems. Design, Specification, and Verification

10.1007/978-3-540-70569-7 ◽

2008 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, Specification and Verification of Interactive Systems ’96

10.1007/978-3-7091-7491-3 ◽

1996 ◽

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems. Design, Specification, and Verification

10.1007/b13960 ◽

2003 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

The future of design specification and verification of safety critical interactive systems.

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems - EICS '09 ◽

10.1145/1570433.1570463 ◽

2009 ◽

Author(s):

David Navarre ◽

Philippe Palanque

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Safety Critical ◽

Specification And Verification

Download Full-text