Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,206,042 papers from all fields of science
Search
Sign In
Create Free Account
Formal specification
Known as:
Formal
, Specification (computing)
, Software specification
Expand
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
49 relations
ACM Transactions on Programming Languages and Systems
Abstract state machines
Agile software development
Algebraic specification
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Sampling-based algorithms for optimal motion planning
S. Karaman
,
Emilio Frazzoli
Int. J. Robotics Res.
2011
Corpus ID: 14876957
During the last decade, sampling-based path planning algorithms, such as probabilistic roadmaps (PRM) and rapidly exploring…
Expand
Review
2009
Review
2009
Using formal specifications to support testing
R. Hierons
,
K. Bogdanov
,
+12 authors
H. Zedan
CSUR
2009
Corpus ID: 10686134
Formal methods and testing are two important approaches that assist in the development of high-quality software. While…
Expand
Review
2000
Review
2000
Formal specification: a roadmap
A. V. Lamsweerde
ICSE '00
2000
Corpus ID: 4657483
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety…
Expand
Highly Cited
1996
Highly Cited
1996
Formal methods: state of the art and future directions
E. Clarke
,
Jeannette M. Wing
CSUR
1996
Corpus ID: 5534240
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the…
Expand
Highly Cited
1995
Highly Cited
1995
The Algorithmic Analysis of Hybrid Systems
R. Alur
,
C. Courcoubetis
,
+6 authors
S. Yovine
Theor. Comput. Sci.
1995
Corpus ID: 2754925
Highly Cited
1995
Highly Cited
1995
Testing Can Be Formal, Too
M. Gaudel
TAPSOFT
1995
Corpus ID: 5688566
The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the…
Expand
Highly Cited
1993
Highly Cited
1993
Larch: Languages and Tools for Formal Specification
J. Guttag
,
J. Horning
,
S. Garland
,
K. Jones
,
A. Modet
,
Jeannette M. Wing
Texts and Monographs in Computer Science
1993
Corpus ID: 13066418
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification…
Expand
Highly Cited
1992
Highly Cited
1992
A Formal Approach to Conformance Testing
J. Tretmans
Protocol Test Systems
1992
Corpus ID: 578416
In order to assure successful communication between computer systems from different manufacturers, standardized communication…
Expand
Highly Cited
1990
Highly Cited
1990
A specifier's introduction to formal methods
Jeannette M. Wing
Computer
1990
Corpus ID: 6693823
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are…
Expand
Highly Cited
1971
Highly Cited
1971
Shape Grammars and the Generative Specification of Painting and Sculpture
G. Stiny
,
J. Gips
IFIP Congress
1971
Corpus ID: 36431081
A method of shape generation using shape grammars which take shape as primitive and have shape-specific rules is presented. A…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE