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

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… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… 
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… 
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
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… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2000
Highly Cited
2000
The Object-Z Specification Language
  • 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
Requirements Specification for Process-Control Systems
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
Larch: Languages and Tools for Formal Specification
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
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… 
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… 
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Highly Cited
1985
Highly Cited
1985
Understanding Z : A specification language and its formal semantics
  • 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… 
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