Texts in Theoretical Computer Science. An EATCS Series - Formal Methods for Software Engineering Ebook Languages, Methods, Application Domains

Auteur: Markus Roggenbach
Langue: Anglais
Auteur: Markus Roggenbach Antonio Cerone
Co-auteur: Gerardo Schneider Siraj Ahmed Shaikh Bernd-Holger Schlingloff
  • en
  • livre numérique
  • 9783030388003
  • 22 juin 2022
  • EPUB3
Toutes les spécifications de l'article
  • Vous pouvez facilement lire des ebooks sur votre Kobo , ou sur votre smartphone avec l'application bol.com Kobo . Les ebooks ne peuvent pas être annulés ou retournés.

Résumé

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.

The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.

Topics and features:

  • Explains foundations, and introduces specification, verification, and testing methods
  • Exploresvarious application domains
  • Presents realistic and practical examples, illustrating concepts
  • Offers modelling and analysis methods for formal development of software

Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.

Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.

The companion site for the book offers additional resources, including further material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book. The URL is: https://sefm-book.github.io

Spécifications produit

Contenu

Langue
en
Binding
livre numérique
Date de sortie initiale
22 juin 2022
Format ebook
EPUB3
Illustrations
Non

Personnes impliquées

Auteur principal
Markus Roggenbach
Deuxième auteur
Antonio Cerone
Coauteur
Bernd-Holger Schlingloff
Editeur principal
Springer

Options de lecture

Lisez cet ebook sur
Ordinateur de bureau (Mac et Windows) | Lecteur électronique Kobo | Android (smartphone et tablette) | iOS (smartphone et tablette) | Windows (smartphone et tablette)

Informations sur le fabricant

Informations sur le fabricant
Les informations du fabricant ne sont actuellement pas disponibles

Autres spécifications

Livre d‘étude
Non

EAN

EAN
9783030388003

Sécurité des produits

Opérateur économique responsable dans l’UE
Afficher les données

Vous trouverez cet article :

Catégories
Disponibilité
Disponible à l'adresse suivante
Langue
Anglais
Livre, ebook ou livre audio ?
Ebook

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol. n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

Choisissez la version souhaitée
Choisissez votre binding
livre numérique €53,99 Broché €51,99 Couverture rigide €72,99
Informations sur les prix et commande
Le prix de ce produit est de 53 euros et 99 cents.
Disponible immédiatement
Vendu par bol
Ebook
  • Ebook utilisable dès son achat
  • Les ebooks offrent plein d'avantages
  • Garantie légale via bol
  • Service client 24h/24
  • Paiement sécurisé
Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
Voir les conditions de retour

D'autres ont aussi regardé

Voir la liste complète