Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Related topics

Related topics

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

Broader (1)

Software engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Model checking C source code for embedded systems
In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts… 
2002
2002
XQuery/IR: Integrating XML Document and Data Retrieval
The structural aspects of the unified XML view are rigid enough to support data retrieval (DR) queries as known from database… 
2002
2002
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that… 
Review
2000
Review
2000
CAFE: An Industrial-Strength Algebraic Formal Method
Highly Cited
1993
Highly Cited
1993
The SAZ Project: Integrating SSADM and Z
This paper investigates the rationale for integrating a structured systems analysis method (SSADM version 4) and a formal… 
1992
1992
The Verification Support Environment VSE
1983
1983
Symbolic Execution of the Gist Specification Language
Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification, and… 
Highly Cited
1982
Highly Cited
1982
A Formal Specification Technique and Implementation Method for Protocols
1976
1976
SPECIAL - A Specification and Assertion Language.
Abstract : SPECIAL is a specification language developed in conjunction with the SRI methodology for design, implementation, and… 
1973
1973
General Arrays, Operators and Functions
This paper discusses "general arrays," i.e., arrays in which the items are either scalars or other arrays. Functions are defined… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)