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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
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
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
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
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
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
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
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
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
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
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?