Formal Methods in Collaborative Projects

Zamansky, Anna; Rodríguez-Navas, Guillermo; Adams, Mark; Spichkova, Maria

doi:10.5220/0005937403960402

Cited by 11 publications

(6 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…al. [28,28] reviewing some recent large-scale industrial projects in which formal methods (including Focus ST ) have been successfully applied. The authors also covered some aspects of teaching formal methods for software engineering, including Focus ST , cf.…”

Section: Focus Stmentioning

confidence: 99%

Formal FocusST Specification of CAN

Spichkova

2018

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Focus Stmentioning

confidence: 99%

Formal FocusST Specification of CAN

Spichkova

2018

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…al. [95] reviewing some recent large-scale industrial projects in which formal methods (including Focus and AutoFocus) have been successfully applied. The authors also covered some aspects of teaching formal methods for software engineering, including Focus and AutoFocus, cf.…”

Section: Case Studiesmentioning

confidence: 99%

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

Spichkova

2017

Preprint

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…This problem is still unsolved now. Lack of readability and usability is one of the reasons for very limited use of FMs in industrial projects (Zamansky et al, 2016). However, in some cases even simply implementable improvements can make an FM more readable and understandable, cf.…”

Section: Introductionmentioning

confidence: 99%

From Temporal Models to Property-based Testing

Alzahrani

Spichkova

Blech

2017

Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract:This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of formal methods: the core time-based constructs of a formal method are schematically translated to the BeSpaceD extension of the Scala programming language. This allows us to have an executable Scala code that corresponds to the formal model, as well as to perform PBT of the models functionality. To model temporal properties of the systems, in the current work we focus on two formal languages, TLA+ and Focus ST

show abstract

Formal Methods in Collaborative Projects

Abstract: In this paper we address particular aspects of integration of formal methods in large-scale industrial projects, namely collaborative aspects. We review recent works addressing such aspects, identify some current trends and discuss directions for further research.

Cited by 11 publications

References 42 publications

Formal FocusST Specification of CAN

Formal FocusST Specification of CAN

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

From Temporal Models to Property-based Testing

Contact Info

Product

Resources

About