Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple

Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres: le premier passe en revue tous les diagrammes, de façon isolée et en groupe; le deuxième est une mise en pratique au travers de sept études de cas; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Sur la collection La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, Maîtrise

La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, Maîtrise

Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : une introduction à la problématique générale du domaine ; une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets ; une présentation des principes des spécifications applicables avec ces langages ; un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes.

La notion d'outils organisationnels semble aller de soi en sciences de gestion, ceux-ci sont même un élément essentiel de la pratique des professionnels. Cependant, c'est une réalité complexe qui participe de très nombreux domaines comme la comptabilité, la sociologie, l'ordonnancement, le service des méthodes, la gestion financière, la gestion du personnel, l'organisation du travail, la gestion des stocks et bien d'autres domaines encore. Aussi, cet ouvrage propose aux étudiants en gestion et aux candidats à l'UV 3 du DECF les principales clés (techniques et références théoriques) permettant ensuite l'étude plus approfondie des outils de gestion qui correspondent à la spécialité de chaque étudiant, tout en leur donnant les moyens de se situer par rapport à l'ensemble de ces techniques et de dialoguer avec les autres spécialistes. Sur la collection Des livres clairs et concis destinés aux filières d'expertise comptable, DPECF, DECF et DESCF (nouveaux programmes), mais aussi aux BTS et IUT tertiaires, aux écoles de commerce et aux facultés d'économie et gestion ou de droit.