An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation

Automated Software Engineering ◽

10.1007/s10515-006-7999-y ◽

2006 ◽

Vol 13 (4) ◽

pp. 469-496 ◽

Author(s):

Karsten Loer ◽

Michael D. Harrison

Keyword(s):

Interactive Systems ◽

Tool Support ◽

Integrated Framework

Download Full-text

An Integrated Framework for the Formal Analysis of Critical Interactive Systems

2020 27th Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec51365.2020.00022 ◽

2020 ◽

Author(s):

Ismail Mendil ◽

Neeraj Kumar Singh ◽

Yamine Ait-Ameur ◽

Dominique Mery ◽

Philippe Palanque

Keyword(s):

Formal Analysis ◽

Interactive Systems ◽

Integrated Framework

Download Full-text

Methodological and Tool Support for a Task-Oriented Development of Interactive Systems

Computer-Aided Design of User Interfaces II ◽

10.1007/978-94-011-4295-3_22 ◽

1999 ◽

pp. 271-274 ◽

Author(s):

Anke Dittmar ◽

Peter Forbrig

Keyword(s):

Interactive Systems ◽

Tool Support ◽

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 ◽

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 ◽

Download Full-text

Improved Parallel Reactive Hybrid Particle Swarm Optimization using Improved Neighborhood Schedule Generation Method for the Integrated Framework of Optimal Production Scheduling and Operational Planning of an Energy Plant in a Factory

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.139.1005 ◽

2019 ◽

Vol 139 (12) ◽

pp. 1005-1014

Author(s):

Shuhei Kawaguchi ◽

Yoshikazu Fukuyama

Keyword(s):

Particle Swarm Optimization ◽

Production Scheduling ◽

Particle Swarm ◽

Operational Planning ◽

Swarm Optimization ◽

Optimal Production ◽

Hybrid Particle ◽

Integrated Framework ◽

Hybrid Particle Swarm Optimization ◽

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 ◽

Author(s):

Joseph J. Gal

Keyword(s):

Financial Analysis ◽

Interactive Systems

Download Full-text

Enabling the smart city in China: an integrated framework

Remote Sensing and Smart City ◽

10.2495/rssc140591 ◽

2014 ◽

Author(s):

Z.R. Xu ◽

A.A. Hu ◽

L.H. Huang

Keyword(s):

Integrated Framework

Download Full-text

Applications of voice interactive systems - Military flight test andthe future

10.2514/6.1984-2660 ◽

1984 ◽

Author(s):

C. MOORE ◽

R. MOORE ◽

J. RUTH

Keyword(s):

Flight Test ◽

Interactive Systems

Download Full-text

Integrated Framework to Enable Design Space Exploration of In-Space Transportaion Architectures

ASCEND 2020 ◽

10.2514/6.2020-4106 ◽

2020 ◽

Author(s):

Akshay Prasad ◽

Manuel J. Diaz ◽

Dimitri N. Mavris

Keyword(s):

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Integrated Framework

Download Full-text