Formal specification

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

Topic mentions per year

Topic mentions per year

1946-2017
02000400019462016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
PENG is a computer-processable controlled natural language designed for writing unambiguous and precise specifications. PENG… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in… (More)
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Specification matching is a way to compare two software components, based on descriptions of the component's behaviors. In the… (More)
  • figure 1
  • table I
  • table II
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
ions are easier to understand than implementations, so combining abstractions is less work. Relying only on properties of the… (More)
  • figure 1.2
  • figure 3.1
  • figure 3.9
  • figure 4.8
  • figure 4.15
Is this relevant?
Highly Cited
1993
Highly Cited
1993
To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more… (More)
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… (More)
  • figure 2
  • figure 3
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
1987
Highly Cited
1987
LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open systems… (More)
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • table 2.1
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this… (More)
Is this relevant?