Skip to search formSkip to main contentSkip to account menu

Formal specification

Known as: Formal, Specification (computing), Software specification 
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
During the last decade, sampling-based path planning algorithms, such as probabilistic roadmaps (PRM) and rapidly exploring… 
Review
2009
Review
2009
Formal methods and testing are two important approaches that assist in the development of high-quality software. While… 
Review
2000
Review
2000
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety… 
Highly Cited
1996
Highly Cited
1996
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the… 
Highly Cited
1995
Highly Cited
1995
Highly Cited
1995
Highly Cited
1995
The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the… 
Highly Cited
1993
Highly Cited
1993
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… 
Highly Cited
1992
Highly Cited
1992
In order to assure successful communication between computer systems from different manufacturers, standardized communication… 
Highly Cited
1990
Highly Cited
1990
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are… 
Highly Cited
1971
Highly Cited
1971
A method of shape generation using shape grammars which take shape as primitive and have shape-specific rules is presented. A…