Avis des lecteurs
Résumé:Ce livre constitue une solide introduction au langage de spécification Alloy, dont il présente clairement la théorie et les applications pratiques. Il est loué pour son style d'écriture accessible, ses tutoriels structurés et l'utilisation de visualisations pour comprendre les modèles. Cependant, certains lecteurs notent un manque d'exemples non triviaux et soulignent que l'édition Kindle est dépassée.
Avantages:Style clair, introduction accessible à l'alliage, bons exemples pratiques, utile pour les universitaires et les ingénieurs, inclut des visualisations de modèles, tutoriels conviviaux pour les débutants, bien structuré.
Inconvénients:L'édition Kindle est dépassée, manque d'exemples non triviaux pour la modélisation de problèmes complexes, la référence à une ancienne version d'Alloy peut poser problème, certaines notations mathématiques sont absentes.
(basé sur 14 avis de lecteurs)
Titre original :
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Contenu du livre :
Dans Software Abstractions, Daniel Jackson présente une approche de la conception de logiciels qui s'appuie sur les méthodes formelles traditionnelles mais exploite des outils automatisés pour détecter les failles le plus tôt possible.
Dans Software Abstractions, Daniel Jackson présente une approche de la conception de logiciels qui s'appuie sur les méthodes formelles traditionnelles mais exploite des outils automatisés pour trouver les failles le plus tôt possible. Cette approche - que Jackson appelle "méthodes formelles légères" ou "modélisation agile" - reprend de la spécification formelle l'idée d'une notation précise et expressive basée sur un petit noyau de concepts simples et robustes, mais remplace l'analyse conventionnelle basée sur la démonstration de théorèmes par une analyse entièrement automatisée qui donne aux concepteurs un retour d'information immédiat.
Jackson a développé Alloy, un langage qui capture l'essence des abstractions logicielles de manière simple et succincte, en utilisant un ensemble minimal de notions mathématiques. Cette édition révisée met à jour le texte, les exemples et les annexes pour être entièrement compatible avec Alloy 4.
Autres informations sur le livre :
| ISBN : | 9780262528900 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2016 |
| Nombre de pages : | 376 |
Achat:
Actuellement disponible, en stock.
