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… 
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… 
Highly Cited
2006
Highly Cited
2006
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended… 
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
1997
Highly Cited
1997
Experiments on six commercial TCP implementations using a software fault injection tool
TCP, the de facto standard transport protocol in today's operating systems, is a very robust protocol that adapts to various… 
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… 
Highly Cited
1983
Highly Cited
1983
Increasing Modularity and Language-Independency in Automatically Generated Compilers
Highly Cited
1982
Highly Cited
1982
A Formal Specification Technique and Implementation Method for Protocols
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)