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… 
2008
2008
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy… 
Highly Cited
2007
Highly Cited
2007
XIS-UML Profile for eXtreme Modeling Interactive Systems
The first version of the XIS profile addressed the development of interactive systems by defining models oriented only towards… 
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… 
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)