Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,978,940 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
2006
Highly Cited
2006
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis
Ivan Jureta
,
Stéphane Faulkner
,
Pierre-Yves Schobbens
International Conference on Conceptual Modeling
2006
Corpus ID: 1124984
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended…
Expand
Review
2003
Review
2003
FACTORS INFLUENCING THE FRONT END OF THE INNOVATION PROCESS : A COMPREHENSIVE REVIEW OF SELECTED EMPIRICAL NPD AND EXPLORATIVE FFE STUDIES
Štefan
2003
Corpus ID: 14913121
In this paper we construct and propose an empirical-based research framework for the so-called “Fuzzy Front End” (FFE) of the…
Expand
2002
2002
XQuery/IR: Integrating XML Document and Data Retrieval
Jan-Marco Bremer
,
Michael Gertz
International Workshop on the Web and Databases
2002
Corpus ID: 2247042
The structural aspects of the unified XML view are rigid enough to support data retrieval (DR) queries as known from database…
Expand
2000
2000
Validating Voice Communication Requirements Using Lightweight Formal Methods
J. Hörl
,
B. Aichernig
IEEE Software
2000
Corpus ID: 12268858
To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report…
Expand
1997
1997
Discrete-time process algebra with empty process
J. Baeten
,
J. Vereijken
1997
Corpus ID: 6192290
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this…
Expand
1994
1994
Process-Algebraic Interpretations of Positive Linear and Relevant Logics
M. Dam
Journal of Logic and Computation
1994
Corpus ID: 5329131
We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and…
Expand
1993
1993
Constraint specification and satisfaction in embodiment design
A. Thornton
,
Aylmer L. Johnson
1993
Corpus ID: 60042082
1982
1982
Using symbolic execution to characterize behavior
D. Cohen
,
W. Swartout
,
R. Balzer
Rapid Prototyping
1982
Corpus ID: 17433684
Prototypes are built for a variety of reasons. This paper offers an alternative to the use of a prototype as a means of testing a…
Expand
1982
1982
Life-Cycle Software Validation
W. Howden
Computer
1982
Corpus ID: 16567414
Twvo validation activities should take place during each phase of the software life cycle: analysis and test data generation…
Expand
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