Créer un logiciel est très complexe. En effet, la création d’un logiciel professionnel est souvent un programme lourd reposant sur des milliers de lignes. Pour cela, il faut des moyens matériels et humains mais surtout une méthode. C’est en 1968 qu’un groupe de scientifiques a défini le génie logiciel, sous le parrainage de l’OTAN, pour améliorer les logiciels, qui ne sont pas fiables et ne sont pas élaborés dans les délais prévus pour satisfaire les cahiers de charge. Le but est de spécifier, de concevoir, de réaliser et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes. Ce livre expose les méthodes utilisées en génie logiciel, dont les modèles reconnus et appliqués. Il s’adresse aux étudiants en informatique mais aussi aux enseignants-chercheurs et aux informaticiens en poste. Au sommaire, nous retrouverons les modèles de développement du logiciel, les méthodes d'analyse, de spécification et de conception, les méthodes formelles de spécification et de développement, le langage de programmation, le test logiciel et les méthodes de preuve de développement de logiciel.