(Auto)Focus approaches and their applications: A systematic review

2017/11/22 by Maria Spichkova, Spichkova, Maria · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Reliability and Analysis Research

paper · pdf · doi:10.48550/arxiv.1711.08123

openalex publication_date 2017/11/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago. Since then this approach was broadly used in academic and industrial studies, as well as provided a basis for a number of another frameworks focusing on particular domains, and for the AF3 modelling tool. In this paper we provide a literature review of the corresponding approaches, academic case studies and industrial applications of these methods.

Citations

• Model-based Hazard and Impact Analysis
• Formalisation and Analysis of Component Dependencies
• Refinement-Based Specification: Requirements and Architecture

Cited by

• FocusE: A semantic extension of FocusST

Related

• Visualization in Multimodal User Interfaces of Mobile Applications
• User driven applications - new design paradigm
• Controlled Visual Generation Compass: A Compact Framework for Generative AI Research and System Design
• The Markup Language for Designing Gaze Controlled Applications
• Adopting a software product line engineering approach in industrial development contexts: A protocol for a systematic literature review