DeepAI AI Chat
Log In Sign Up

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

11/22/2017
by   Maria Spichkova, et al.
RMIT University
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/08/2022

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...
08/18/2013

Bat Algorithm: Literature Review and Applications

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

Recycling Proof Patterns in Coq: Case Studies

Development of Interactive Theorem Provers has led to the creation of bi...
08/10/2022

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

Empirical studies on formal methods and tools are rare. In this paper, w...
01/11/2021

A Review of Game-based Mobile E-Learning Applications

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