Skip to search formSkip to main contentSkip to account menu
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… 
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… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2006
Highly Cited
2006
JML is a behavioral interface specification language tailored to Java(TM). Besides pre- and postconditions, it also allows… 
Highly Cited
2001
Highly Cited
2001
The Ponder language provides a common means of specifying security policies that map onto various access control implementation… 
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2000
Highly Cited
2000
  • Graeme 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… 
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 1.6
Review
1994
Review
1994
The paper describes an approach to writing requirements specifications for process-control systems, a specification language that… 
  • figure 6
  • figure 9
  • figure 21
  • figure 25
Highly Cited
1993
Highly Cited
1993
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… 
  • figure 1.2
  • figure 3.1
  • figure 3.9
  • figure 4.8
  • figure 4.9
Highly Cited
1992
Highly Cited
1992
There is a population explosion among the logical systems used in computing science. Examples include first-order logic… 
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… 
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Highly Cited
1985
Highly Cited
1985
  • J. M. 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…