DeepAI AI Chat
Log In Sign Up

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

by   Maria Spichkova, et al.
RMIT University

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.


page 1

page 2

page 3

page 4


A Review on Method Entities in the Academic Literature: Extraction, Evaluation, and Application

In scientific research, the method is an indispensable means to solve sc...

Bat Algorithm: Literature Review and Applications

Bat algorithm (BA) is a bio-inspired algorithm developed by Yang in 2010...

Recycling Proof Patterns in Coq: Case Studies

Development of Interactive Theorem Provers has led to the creation of bi...

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

Empirical studies on formal methods and tools are rare. In this paper, w...

A Review of Game-based Mobile E-Learning Applications

This study aims to review and get information on the different mobile ga...