Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 9 votes.
Titre original :
Modeling in Event-B: System and Software Engineering
Contenu du livre :
Ce livre présente une approche mathématique de la modélisation et de la conception de systèmes à l'aide d'une extension de la méthode formelle B. Il s'agit d'un texte pratique adapté à un cours d'introduction ou avancé sur les méthodes formelles : Event-B.
Basée sur l'idée de raffinement, l'approche systématique de l'auteur permet à l'utilisateur de construire progressivement des modèles et de faciliter une méthode de raisonnement systématique au moyen de preuves. Le lecteur apprendra à construire des modèles de programmes et, plus généralement, de systèmes discrets, mais tout cela dans un souci de pratique. Les nombreux exemples fournis proviennent de diverses sources de développement de systèmes informatiques, y compris les programmes séquentiels, les programmes concurrents et les circuits électroniques.
Le livre contient également un grand nombre d'exercices et de projets de difficulté variable. Chacun des exemples inclus dans le livre a été prouvé en utilisant l'ensemble d'outils Rodin Platform, qui peut être téléchargé gratuitement à l'adresse www.
event-b. org.
Autres informations sur le livre :
| ISBN : | 9780521895569 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2010 |
| Nombre de pages : | 612 |
Achat:
Actuellement disponible, en stock.
