Posso approvare seguendo il modello del ciclo di vita ISO12207 di cui sopra
In particolare, per rispondere alla domanda, l'IEEE è la risposta con IEEE Std 830-1998 - questo è scritto con 12207 in mente
@Peter è piuttosto sprezzante rispetto a ISO12207, ma per qualsiasi aspetto critico di sicurezza, la documentazione è fondamentale ... ma accetto per molte applicazioni che sarà OTT.
Aggiornamento 2012-11-12
Rileggendo la domanda, ISO12207 è il modello del processo di sviluppo del ciclo di sviluppo del software che copre tutte le fasi (come fa CMMI) ... la domanda in particolare chiede di scrivere una specifica funzionale .
C'è anche uno standard ISO per questo: ISO / IEC / IEEE 29148: 2011 Ingegneria di sistemi e software - Processi del ciclo di vita - Ingegneria dei requisiti , citando l'Abstract:
ISO/IEC/IEEE 29148:2011 contains provisions for the processes and
products related to the engineering of requirements for systems and
software products and services throughout the life cycle. It defines
the construct of a good requirement, provides attributes and
characteristics of requirements, and discusses the iterative and
recursive application of requirements processes throughout the life
cycle.
ISO/IEC/IEEE 29148:2011 provides additional guidance in the
application of requirements engineering and management processes for
requirements-related activities in ISO/IEC 12207:2008 and ISO/IEC
15288:2008.
Information items applicable to the engineering of requirements and
their content are defined. The content of ISO/IEC/IEEE 29148:2011 can
be added to the existing set of requirements-related life cycle
processes defined by ISO/IEC 12207:2008 or ISO/IEC 15288:2008, or can
be used independently.