(Auto)Focus approaches and their applications: A systematic review
arXiv:1711.08123
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.
References in corpus (9)
- Human Factors in Software Reliability Engineering
- Verified System Development with the AutoFocus Tool Chain
- Human Factors of Formal Methods
- Formalisation and Analysis of Component Dependencies
- Towards system development methodologies: From software to cyber-physical domain
- Spatio-temporal features of FocusST
- Towards Focus on Time
- Stepwise Refinement of Data Flow Architectures
- Refinement-Based Specification: Requirements and Architecture