Genie Logiciel Conception Des Systemes D'Information Panorama Des Methodes Et Des Techniques

Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information.Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières...) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML). Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de : - la modélisation des données, - la modélisation du comportement, - la modélisation des traitements, et il termine en abordant le problème de la vérification des modèles.Chaque chapitre est illustré par de nombreux exercices. Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML.