Texts in Theoretical Computer Science. An EATCS Series- Formal Methods for Software Engineering 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
  • Couverture rigide
  • 9783030387990
  • 23 juin 2022
  • 524 pages
Toutes les spécifications de l'article

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
  • Explores various application domains
  • Presents realistic and practical examples, illustrating concepts
  • Brings together contributions from highly experienced educators and researchers
  • 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.



Spécifications produit

Contenu

Langue
en
Version
Couverture rigide
Date de sortie initiale
23 juin 2022
Nombre de pages
524
Illustrations
Avec illustrations

Personnes impliquées

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

Informations sur le fabricant

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

Autres spécifications

Hauteur de l'emballage
235 mm
Largeur d'emballage
155 mm
Largeur du produit
155 mm
Livre d‘étude
Non
Longueur d'emballage
235 mm
Longueur du produit
235 mm
Poids de l'emballage
992 g
Police de caractères extra large
Non
Édition
1st ed. 2022

EAN

EAN
9783030387990

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 ?
Livre

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 version
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 72 euros et 99 cents.
Attendu dans environ 3 semaines
Vendu par bol
Ajouter au panier
  • Livraison comprise avec bol
  • Retrait possible dans un point-relais bol
  • 30 jours de réflexion et retour gratuit
  • Garantie légale via bol
  • Service client 24h/24

D'autres ont aussi regardé

Voir la liste complète