FAQ

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

Related topics

Related topics

49 relations
ACM Transactions on Programming Languages and SystemsAbstract state machinesAction semanticsAgile software development
(More)

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Formal specification
Formal verification
Verification and validation
Computer science
Software development
Programming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
English as a Formal Specification Language
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
A Formal Specification of dMARS
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
Formal Specification of Multi-Agent Systems: A Real-World Case
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 of Software Components
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
Larch: Languages and Tools for Formal Specification
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
A Translation Approach to Portable Ontology Specifications
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
Introduction to formal specification and Z
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
A specifier's introduction to formal methods
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
Introduction to the ISO Specification Language LOTOS
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
Understanding Z : A specification language and its formal semantics
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?