Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,372,582 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.
2010
2010
Evaluating Games-Based Learning
T. Hainey
,
T. Connolly
International Journal of Virtual and Personal…
2010
Corpus ID: 20896787
A highly important part of software engineering education is requirements collection and analysis, one of the initial stages of…
Expand
2009
2009
Impact of gate-oxide tunneling on mixed-signal design and simulation of a nano-CMOS VCO
E. Kougianos
,
S. Mohanty
Microelectronics Journal
2009
Corpus ID: 13312506
2008
2008
Integrating a software architecture-centric method into object-oriented analysis and design
Journal of Systems and Software
2008
Corpus ID: 14823367
2006
2006
Extending Authoring Tools for Location-Aware Applications with an Infrastructure Visualization Layer
L. Oppermann
,
G. Broll
,
M. Capra
,
S. Benford
Ubiquitous Computing
2006
Corpus ID: 14699885
In current authoring tools for location-aware applications the designer typically places trigger zones onto a map of the target…
Expand
2004
2004
Low-cost networking for dynamic window systems
Eleanor S. Lee
,
D. DiBartolomeo
,
F. Rubinstein
,
S. Selkowitz
2004
Corpus ID: 30227770
Review
2004
Review
2004
Using task analysis for information requirements specification: The SGT method.
T. Ormerod
,
A. Shepherd
2004
Corpus ID: 107804461
Designers increasingly recognise the need for user-centred approaches to system specification, yet the last thing they want is…
Expand
2003
2003
Using Coq to Verify Java Card Applet Isolation Properties
June Andronick
,
B. Chetali
,
Olivier Ly
International Conference on Theorem Proving in…
2003
Corpus ID: 16909642
This paper reports on the use of the Coq proof assistant for the formal verification of applet isolation properties in Java Card…
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
Highly Cited
2001
Highly Cited
2001
Colif: A Design Representation for Application-Specific Multiprocessor SOCs
W. Cesário
,
G. Nicolescu
,
L. Gauthier
,
D. Lyonnard
,
A. Jerraya
IEEE Design & Test of Computers
2001
Corpus ID: 17942864
By separating component behavior and communication infrastructure and spanning multiple abstraction levels, Colif lets designers…
Expand
1993
1993
Integrating Behavior and Timing in Executable Specifications
K. Khordoc
,
M. Dufresne
,
E. Cerny
,
P. A. Babkine
,
A. Silburt
Computer Hardware Description Languages and their…
1993
Corpus ID: 38034980
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