Interactive Systems: Design, Specification, and Verification

Mapping Intimacies ◽

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

1995 ◽

Keyword(s):

Systems Design ◽

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

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

Interactive Systems. Design, Specification, and Verification

10.1007/b13960 ◽

2003 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems. Design, Specification, and Verification

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

2007 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems: Design, Specification, and Verification

10.1007/3-540-45522-1 ◽

2001 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems. Design, Specification, and Verification

10.1007/11752707 ◽

2006 ◽

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

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

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