Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,982,549 papers from all fields of science
Search
Sign In
Create Free Account
Functional specification
Known as:
Functional Spec
, Functional specifications document
, Functional document
Expand
A functional specification (also, functional spec, specs, functional specifications document (FSD), functional requirements specification) in systems…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Abstract data type
Advanced Microcontroller Bus Architecture
Alphard (programming language)
Audio plug-in
Expand
Broader (3)
Software design
Software documentation
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Measuring Effectiveness of Mutant Sets
Rahul Gopinath
,
Mohammad Amin Alipour
,
Iftekhar Ahmed
,
Carlos Jensen
,
Alex Groce
International Conference on Software Testing…
2016
Corpus ID: 1548758
Redundancy in mutants, where multiple mutants end up producing the same semantic variant of a program, is a major problem in…
Expand
2008
2008
Cost Assessment of Radio Access Network Deployments with Relay Nodes
M. Werner
,
Peter Moberg
,
P. Skillermark
2008
Corpus ID: 34127106
This paper presents a generic radio access network cost assessment and optimisation methodology, allowing a performance-vs.-cost…
Expand
2004
2004
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
I. B. Bourdonov
,
A. Kossatchev
,
V. Kuliamin
Programming and computer software
2004
Corpus ID: 32321355
Problems of testing program systems modeled by deterministic finite automata are considered. The necessary (and, sometimes…
Expand
2003
2003
HIPERSIM: A Sense Range Distinctive Simulation Environment for HiperLAN Systems
G. Papadimitriou
,
T. Lagkas
,
A. Pomportsis
International Conference on Advances in System…
2003
Corpus ID: 206429187
This paper presents the simulator “HIPERSIM” which was developed and used to examine the behavior of HIPERLAN (Type 1). HIPERSIM…
Expand
2002
2002
Engineers' Guide to Rotating Equipment: The Pocket Reference
C. Matthews
2002
Corpus ID: 114619727
You are entirely free to find, use and download, so there is no cost at all. engineers guide to rotating equipment the pocket…
Expand
2000
2000
Horrocks: OIL & UPML: A Unifying Framework for the Knowledge Web
D. Fensel
,
Monica Crubézy
,
F. V. Harmelen
2000
Corpus ID: 14037064
A process and jig for field bending relatively large diameter plastic pipe, the jig being to guide the pipe at the point of…
Expand
1994
1994
Research Issues in Qualitative and Abstract Probability
M. Goldszmidt
The AI Magazine
1994
Corpus ID: 15842537
To assess the state of the art and identify issues requiring further investigation, a workshop on qualitative and abstract…
Expand
1991
1991
An OBJ3 functional specification for boundary representation
Jean-François Dufourd
International Conference on Smart Media and…
1991
Corpus ID: 12366856
The use of formal techniques for specifying the behavior of data and operations dealing with boundary representation of solids is…
Expand
1986
1986
XPL: an expert systems framework in APL
R. Bittlestone
APL Conference
1986
Corpus ID: 32726839
It is hardly possible to pick up a computer journal today without seeing references to the Alvey project in the UK, the Esprit…
Expand
1981
1981
Representations for Reasoning about Digital Circuits
Tom Michael Mitchell
,
L. Steinberg
,
Reid G. Smith
,
Patrick A. Schooley
,
H. Jacobs
,
Van E. Kelly
International Joint Conference on Artificial…
1981
Corpus ID: 14262423
We are interested in developing programs that reason about digital electronic circuits, in order to design, redesign, and debug…
Expand