Une méthode d'analyse et de conception a pour objectif de permettre de formaliser les étapes préliminaires du développement d'un système afin de rendre ce développement plus fidèle aux besoins du client. Pour ce faire, on part d'un énoncé informel (le besoin tel qu'il est exprimé par le client, complété par des recherches d'informations auprès des experts du domaine fonctionnel, comme par exemple les futurs utilisateurs d'un logiciel), ainsi que de l'analyse de l'existant éventuel (c'est-à-dire la manière dont les processus à traiter par le système se déroulent actuellement chez le client).
La phase d'analyse permet de lister les résultats attendus, en terme de fonctionnalités, de performance, de robustesse, de maintenance, de sécurité, d'extensibilité, etc.
La phase de conception permet de décrire de manière non ambiguë, le plus souvent en utilisant un langage de modélisation, le fonctionnement futur du système, afin d'en faciliter la réalisation.
La spécification englobe la conception. Ceci étant dit, la spécification est définie comme l'expression de toutes les caractéristiques de l'objet à developper selon une vue externe (comportements, propriétés, contraintes, etc.) et que la conception sera définie comme la description de l'objet à developper selon une vue interne (structures et comportements des composants).
Méthodes avec notation formelle