L'élaboration de spécifications fonctionnelles est une étape critique dans la conception d'un système.

Elles sont parfois représentées à l'aide de maquettes de l'interface et de commentaires indiquant l'interaction de l'utilisateur avec l'environnement pour atteindre des objectifs, dans la limite des capacités prévues pour le produit à développer. Les cas d'utilisation UML sont un complément de ces spécifications, aussi bien que des versions plus textuelles des besoins de l'utilisateur, parfois identifiées sous le nom de "Cahier des Charges fonctionnel".

TimBox offre une alternative pour définir rapidement les objectifs de l'utilisateur et la manipulation d'un système, à des degrés de profondeur voulus par le concepteur à chaque stade de son travail.

Les modèles de tâches, avec leurs niveaux d'abstraction décroissants, posent d'emblée les objectifs de l'utilisateur (couche haute) et décrivent la décomposition de l'activité (manipulation de l'interface) dans les couches inférieures.

Ils constituent ainsi un guide de développement où l'on retrouve aussi bien les fonctionnalités du produit à développer que les interactions utilisateur-système, sous une forme qui permet aisément de choisir les bons widgets et de construire l'interface de façon incrémentale, tâche par tâche.

L'exemple ci-dessous présente les spécifications fonctionnelles d'un système de programmation de la température d'un bâtiment sous la forme d'un modèle TimBox (vue de l'arborescence uniquement) et deux interfaces différentes développées à partir de ce modèle.