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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
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
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy… 
Highly Cited
2007
Highly Cited
2007
The first version of the XIS profile addressed the development of interactive systems by defining models oriented only towards… 
2002
2002
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that… 
Highly Cited
1993
Highly Cited
1993
This paper investigates the rationale for integrating a structured systems analysis method (SSADM version 4) and a formal… 
1983
1983
Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification, and… 
Highly Cited
1982
1976
1976
Abstract : SPECIAL is a specification language developed in conjunction with the SRI methodology for design, implementation, and… 
1973
1973
This paper discusses "general arrays," i.e., arrays in which the items are either scalars or other arrays. Functions are defined…