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

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
JML is a behavioral interface specification language tailored to Java(TM). Besides pre- and postconditions, it also allows… Expand
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
2003
Highly Cited
2003
In this paper we provide a description of TimeML, a rich specification language for event and temporal expressions in natural… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The Ponder language provides a common means of specifying security policies that map onto various access control implementation… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
If UML activity diagrams are to succeed as a standard in the area of organisational process modeling, they need to compare well… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • G. Smith
  • Advances in Formal Methods
  • 2000
  • Corpus ID: 40604346
1 Introduction.- 1.1 Motivation.- 1.2 Classes.- 1.3 Objects.- 1.4 Inheritance.- 1.5 Polymorphism.- 1.6 Case Study: Tetris.- 2… Expand
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 1.6
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… Expand
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… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Is this relevant?
Highly Cited
1985
Highly Cited
1985
  • J. Spivey
  • Cambridge tracts in theoretical computer science
  • 1985
  • Corpus ID: 22952140
By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a… Expand
Is this relevant?