XTL: A Temporal Logic for the Formal Development of Interactive Systems

Formal Methods in Human-Computer Interaction ◽

10.1007/978-1-4471-3425-1_6 ◽

1998 ◽

pp. 121-139 ◽

Cited By ~ 1

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Temporal Logic ◽

Interactive Systems ◽

Formal Development

Download Full-text

Using Temporal Logic in the Specification of Reactive and Interactive Systems

10.14236/ewic/fac1996.1 ◽

1996 ◽

Cited By ~ 2

Author(s):

R J Butterworth ◽

D J Cooke

Keyword(s):

Temporal Logic ◽

Interactive Systems

Download Full-text

Formal Development of Object-Based Systems in a Temporal Logic Setting

Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-0-387-35562-7_33 ◽

1999 ◽

pp. 419-436 ◽

Cited By ~ 1

Author(s):

E. Canver ◽

F. W. Henke

Keyword(s):

Temporal Logic ◽

Formal Development ◽

Object Based

Download Full-text

Illuminating the Framework: Strengthening Dissemination and Implementation Through Application of the Interactive Systems Framework for Dissemination and Implementation

PsycEXTRA Dataset ◽

10.1037/e628612012-124 ◽

2007 ◽

Author(s):

Paul Flaspohler ◽

Abraham Wandersman ◽

Janet Saul ◽

Joseph Durlak ◽

Shepherd Zeldin ◽

...

Keyword(s):

Interactive Systems ◽

Dissemination And Implementation ◽

Interactive Systems Framework ◽

Systems Framework

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Cited By ~ 1

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Model-Based Software Development for Interactive Systems: Ready for Practice?

International Conference on Advanced Computational Technologies and Creative Media (ICACTCM’2014) August 14-15, 2014 Pattaya (Thailand) ◽

10.15242/iie.e0814550 ◽

2014 ◽

Keyword(s):

Software Development ◽

Interactive Systems ◽

Model Based

Download Full-text

The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

Music Theory Spectrum ◽

10.1525/mts.1992.14.2.02a00030 ◽

1992 ◽

Vol 14 (2) ◽

pp. 171-187 ◽

Cited By ~ 1

Author(s):

Gretchen Horlacher

Keyword(s):

Formal Development

Download Full-text

Man-Machine Interactive Systems and Their Application to Financial Analysis

Financial Analysts Journal ◽

10.2469/faj.v22.n3.126 ◽

1966 ◽

Vol 22 (3) ◽

pp. 126-136 ◽

Cited By ~ 1

Author(s):

Joseph J. Gal

Keyword(s):

Financial Analysis ◽

Interactive Systems

Download Full-text

Applications of voice interactive systems - Military flight test andthe future

10.2514/6.1984-2660 ◽

1984 ◽

Cited By ~ 3

Author(s):

C. MOORE ◽

R. MOORE ◽

J. RUTH

Keyword(s):

Flight Test ◽

Interactive Systems

Download Full-text

Anticipating Nostalgia:Finding Temporal Logic in Textual Anomaly

Textual Cultures ◽

10.2979/tex.2009.4.1.72 ◽

2009 ◽

Vol 4 (1) ◽

pp. 72-83 ◽

Cited By ~ 4

Author(s):

Linda Charnes

Keyword(s):

Temporal Logic

Download Full-text

Necessity of incorporating human factors in the design of interactive systems

Journal Européen des Systèmes Automatisés ◽

10.3166/jesa.48.251-260 ◽

2014 ◽

Vol 48 (4-6) ◽

pp. 251-260

Author(s):

Régis Mollard ◽

Marion Wolff

Keyword(s):

Human Factors ◽

Interactive Systems

Download Full-text