Formal approach to specification and verification of task management in interactive systems

IEE Proceedings - Software Engineering ◽

10.1049/ip-sen:19971513 ◽

1997 ◽

Vol 144 (4) ◽

pp. 206 ◽

Cited By ~ 1

Author(s):

P.A. Lindsay

Keyword(s):

Interactive Systems ◽

Task Management ◽

Formal Approach ◽

Specification And Verification

Download Full-text

Interactive Systems: Design, Specification, and Verification

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

1995 ◽

Cited By ~ 5

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_7 ◽

2003 ◽

pp. 161-181

Author(s):

Manfred Broy

Keyword(s):

Functional Calculus ◽

Interactive Systems ◽

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 ◽

Cited By ~ 2

Keyword(s):

Systems Design ◽

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

A formal approach for the specification and verification of trustworthy component-based systems

Journal of Systems and Software ◽

10.1016/j.jss.2010.08.048 ◽

2011 ◽

Vol 84 (1) ◽

pp. 77-104 ◽

Cited By ~ 19

Author(s):

Mubarak Mohammad ◽

Vangalur Alagar

Keyword(s):

Formal Approach ◽

Specification And Verification

Download Full-text