Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

49 relations
ACM Transactions on Programming Languages and SystemsAbstract state machinesAgile software developmentAlgebraic specification
Expand

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Review
2018
Review
2018
A Survey of Statistical Model Checking
Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The Formal Specification Language mCRL2
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Formal methods: state of the art and future directions
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Testing Can Be Formal, Too
The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Larch: Languages and Tools for Formal Specification
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… Expand
  • figure 1.2
  • figure 3.1
  • figure 3.9
  • figure 4.8
  • figure 4.9
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Introduction to formal specification and Z
From the Publisher: Introduces developers to Z notation, a formal specification methodology that can dramatically improve the… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A specifier's introduction to formal methods
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are… Expand
  • figure 3
  • figure 5
  • figure 6
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
1971
Highly Cited
1971
Shape Grammars and the Generative Specification of Painting and Sculpture
A method of shape generation using shape grammars which take shape as primitive and have shape-specific rules is presented. A… Expand
  • figure 6-1
  • figure 6-2
  • figure 6-3
  • figure 6-4
  • figure 6-5
Is this relevant?
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