Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 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.
2009
2009
A Lightweight Specification Language for Bounded Program Verification
Kuat Yessenov
2009
Corpus ID: 265909025
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented…
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
Stefan Hüsig
,
S. Kohn
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
2002
2002
Collaborative Preference Elicitation in a Group Travel Recommender System
C. Plúa
,
A. Jameson
2002
Corpus ID: 7928189
When a recommender system requires users to specify their preferences explicitly and in detail, this process can become so…
Expand
2002
2002
Spécification et validation des systèmes hétérogènes embarqués
Nuta Nicolescu
,
Eugenia Gabriela
2002
Corpus ID: 60170724
La tendance tres recente dans la conception des systemes embarques est l'assemblage des composants standard existants. La…
Expand
1996
1996
Nitpick: A Checkable Specification Language
D. Jackson
1996
Corpus ID: 14414410
Nitpick is a formal specification language designed to be amenable to a new checking method called case enumeration. The paper…
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
Life-Cycle Software Validation
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