Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,843,274 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
2007
2007
Topten - Best of Europe. How do best products perform and why aren't they sold across Europe?
Eric Bush
,
Sophie Attali
,
C. U. Brunner
,
A. Niederberger
2007
Corpus ID: 54216313
Th e web-based Topten system was launched in Switzerland in 2000 with the goal of facilitating Swiss consumers’ access to…
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
1990
1990
OPEN LOOKファンクショナルスペック : graphical user interface functional specification
日本サン・マイクロシステムズ
,
富士通
1990
Corpus ID: 59974632
第1部 入門(設計方針;概要) 第2部 エレメントの使用(ワークスペース、アイコンおよびウィンドウ;コントロール;コントロールエリア;メニューエレメント;スクロール;スクローリングリスト;カラーと3次元デザイン) 第3部 OPEN LOOK GUIの必須機能(OPEN LOOK GUIの必須メニュー;ワークスペース属性;ファイルマネージャ;プロセスマネージャ;キーボードとマウスの仕様) 第4部 OPEN LOOK GUIの使用方法(メニューの使用方法;ウィンドウ、アイコン、ペイン上での選択および操作;テキストおよびグラフィックの選択と操作;プロパティウィンドウの使用方法) 付録(承認;デザインエレメントの詳細;OPEN LOOK GUIのヘルプテキスト;OPEN LOOK GUIの国際化に関する考慮事項)
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