En génie informatique, la spécification est un ensemble de documents qui - par des textes et des diagrammes - décrit de manière formelle et exhaustive le produit informatique à réaliser. La rédaction ...