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

Related topics

Related topics

50 relations
Actor modelAlloy (specification language)Alloy AnalyzerAndrew D. Gordon
Expand

Broader (1)

Software engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
ABS: A Core Language for Abstract Behavioral Specification
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
Preliminary design of JML: a behavioral interface specification language for java
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
The Formal Specification Language mCRL2
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
TimeML: Robust Specification of Event and Temporal Expressions in Text
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 Policy Specification Language
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
UML Activity Diagrams as a Workflow Specification Language
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
The Object-Z Specification Language
  • 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
Institutions: abstract model theory for specification and programming
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
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… 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
Understanding Z : A specification language and its formal semantics
  • 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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE