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
2002
Highly Cited
2002
Coordination and sharing at the interfaces
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2002. 
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… 
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… 
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
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)