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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
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
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
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
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
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
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
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
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
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
This document is a specification of the Message Link Protocol (MLP). The MLP creates a transport service between session control… (More)
Is this relevant?