Décrit comment spécifier un produit sans faire intervenir les logiciels et les matériels qui le constitueront, puis comment séparer harmonieusement ces deux mondes, logiciel et matériel, pour enfin les construire et les valider en parallèle.