This introductory paper gives some historical background to the emergence of formalmethods, overviews what subsequently happened, and surveys prospects for the future. Brief introductions to the remaining papers in the Special Issue are given
Today, nearly every Software Engineering or Computer Science Degree Course given in either a Britis...
This volume gathers together papers presented at the first in what is planned to be a series of annu...
AbstractIn this short note we give an overview on past and ongoing projects in the context of formal...
This paper outlines the emergence of formal techniques, explaining why they wereslow to take on an i...
Abstract. The paper seeks a perspective on the reality of Formal Methods in industry today. What has...
Introduction to the Special Issue on "Formalization as a tool for empirical research: what it buys u...
The goal of this chapter is to give an overview of the different approaches and tools pertaining to ...
International audienceThis special issue is dedicated to the presentation of novel results in the sc...
This short position paper traces a very personal view of formal meth-ods in the period 1982-1997
Abstract: "A formal method is a mathematically-based technique used in Computer Science to describe ...
Abstract: The objective of this paper is to present a crisp and critical survey of the development o...
In this article, we reflect on the use of formal methods in the philosophy of science. These are tak...
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We ...
Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Met...
Abstract. Formal methods may be at the crossroads of acceptance by a wider industrial community. In ...
Today, nearly every Software Engineering or Computer Science Degree Course given in either a Britis...
This volume gathers together papers presented at the first in what is planned to be a series of annu...
AbstractIn this short note we give an overview on past and ongoing projects in the context of formal...
This paper outlines the emergence of formal techniques, explaining why they wereslow to take on an i...
Abstract. The paper seeks a perspective on the reality of Formal Methods in industry today. What has...
Introduction to the Special Issue on "Formalization as a tool for empirical research: what it buys u...
The goal of this chapter is to give an overview of the different approaches and tools pertaining to ...
International audienceThis special issue is dedicated to the presentation of novel results in the sc...
This short position paper traces a very personal view of formal meth-ods in the period 1982-1997
Abstract: "A formal method is a mathematically-based technique used in Computer Science to describe ...
Abstract: The objective of this paper is to present a crisp and critical survey of the development o...
In this article, we reflect on the use of formal methods in the philosophy of science. These are tak...
This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We ...
Preface: This research report contains the proceedings of the PhD Symposium at iFM’19 on Formal Met...
Abstract. Formal methods may be at the crossroads of acceptance by a wider industrial community. In ...
Today, nearly every Software Engineering or Computer Science Degree Course given in either a Britis...
This volume gathers together papers presented at the first in what is planned to be a series of annu...
AbstractIn this short note we give an overview on past and ongoing projects in the context of formal...
DOI
Add to ORKG