Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,301 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Actor model
Alloy (specification language)
Alloy Analyzer
Andrew D. Gordon
Expand
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
Bastian Schlich
,
S. Kowalewski
International Journal on Software Tools for…
2009
Corpus ID: 9949252
In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts…
Expand
2008
2008
Model-Based Firewall Conformance Testing
Achim D. Brucker
,
Lukas Brügger
,
B. Wolff
TestCom/FATES
2008
Corpus ID: 359115
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy…
Expand
Highly Cited
2007
Highly Cited
2007
XIS-UML Profile for eXtreme Modeling Interactive Systems
A. Silva
,
J. Saraiva
,
R. Silva
,
Carlos Martins
Workshop on Model-based Methodologies for…
2007
Corpus ID: 9106740
The first version of the XIS profile addressed the development of interactive systems by defining models oriented only towards…
Expand
2002
2002
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model
F. Balarin
,
L. Lavagno
,
C. Passerone
,
A. Sangiovanni-Vincentelli
,
Yosinori Watanabe
,
Guang Yang
Proceedings of the Tenth International Symposium…
2002
Corpus ID: 496133
This paper presents the simulation techniques that are available in Metropolis, an inter-disciplinary research project that…
Expand
Review
2000
Review
2000
CAFE: An Industrial-Strength Algebraic Formal Method
K. Futatsugi
,
A. T. Nakagawa
,
T. Tamai
2000
Corpus ID: 60363887
Highly Cited
1993
Highly Cited
1993
The SAZ Project: Integrating SSADM and Z
Fiona A. C. Polack
,
M. Whiston
,
K. Mander
FME
1993
Corpus ID: 2264443
This paper investigates the rationale for integrating a structured systems analysis method (SSADM version 4) and a formal…
Expand
1983
1983
Symbolic Execution of the Gist Specification Language
D. Cohen
International Joint Conference on Artificial…
1983
Corpus ID: 2723970
Symbolic execution can help clarify the behavior implied by a program specification without implementing that specification, and…
Expand
Highly Cited
1982
Highly Cited
1982
A Formal Specification Technique and Implementation Method for Protocols
T. Blumer
,
R. L. Tenney
Comput. Networks
1982
Corpus ID: 26412877
1976
1976
SPECIAL - A Specification and Assertion Language.
L. Robinson
,
O. Roubine
1976
Corpus ID: 60844944
Abstract : SPECIAL is a specification language developed in conjunction with the SRI methodology for design, implementation, and…
Expand
1973
1973
General Arrays, Operators and Functions
Ziad J. Ghandour
,
J. Mezei
IBM Journal of Research and Development
1973
Corpus ID: 44706052
This paper discusses "general arrays," i.e., arrays in which the items are either scalars or other arrays. Functions are defined…
Expand
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)
ACCEPT & CONTINUE