Specification language

Known as: Formal Specification language, Specification (disambiguation) 
A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper we provide a description of TimeML, a rich specification language for event and temporal expressions in natural… (More)
Is this relevant?
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
2000
Highly Cited
2000
Designing and maintaining Web applications is one of the major challenges for the software industry of the year 2000. In this… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Making a database system active to meet the requirements of a wide range of applications entails developing an expressive event… (More)
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)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
There is a population explosion among the logical systems used in computing science. Examples include first-order logic… (More)
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
The understanding z a specification language and its formal semantics that we provide for you will be ultimate to give preference… (More)
Is this relevant?