FAQ

Functional specification

Known as: Functional Spec, Functional specifications document, Functional document 
A functional specification (also, functional spec, specs, functional specifications document (FSD), functional requirements specification) in systems… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1963-2018
020406019632018

Related topics

Related topics

28 relations
Abstract data typeAdvanced Microcontroller Bus ArchitectureAlphardAudio plug-in
(More)

Broader (3)

Software designSoftware documentationSystems engineering

Related mentions per year

Related mentions per year

1942-2018
19401960198020002020
Functional specification
Software development process
Software development
Test case
Systems architecture
Debugging

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program’s functional correctness has been obtained with pen and paper or with… (More)
Is this relevant?
2009
2009
A functional specification of effects
This dissertation is about effects and type theory. Functional programming languages such as Haskell demonstrate that monads can… (More)
  • figure 2.1
  • figure 2.2
Is this relevant?
2005
2005
Functional Specification of Probabilistic Process Models
Agents that handle complex processes evolving over a period of time need to be able to monitor the state of the process. Since… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification
Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 10
Is this relevant?
Highly Cited
1994
Highly Cited
1994
T/TCP - TCP Extensions for Transactions Functional Specification
Status of this Memo This memo describes an Experimental Protocol for the Internet community, and requests discussion and… (More)
  • figure 4
  • figure 8
  • figure 10
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional… (More)
Is this relevant?
1992
1992
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to… (More)
Is this relevant?
1990
1990
Evaluation Criteria for Functional Specifications
Functional correctness is a technique for deriving a program and proving that this program meets its specifications. Both a… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1989
1989
Functional Specification of Time Sensitive Communicating Systems
A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their… (More)
  • figure 1
  • figure 4
Is this relevant?
1979
1979
Message link protocol (MLP): functional specification
This document is a specification of the Message Link Protocol (MLP). The MLP creates a transport service between session control… (More)
Is this relevant?