Une méthodologie de conception utilisée pour des applications d'entreprise en fondant la conception sur les structures de données logiques de la spécification de programme. Des exemples des méthodes de conception de système Jackson et Warnier-Orr.