Articles liés à Validation and Verification of Formal Specifications...

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering - Couverture souple

Thomson, Steven A

 
9781249834274: Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Couverture souple
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Editeur : Biblioscholar, 2012

Synopsis

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurBiblioscholar
  • Date d'édition2012
  • ISBN 10 1249834279
  • ISBN 13 9781249834274
  • ReliureBroché
  • Langueanglais
  • Nombre de pages212
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
9781249834274: Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
EUR 102,39

Autre devise

EUR 29,24 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9781249834274: Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
EUR 55,24

Autre devise

EUR 4,67 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Validation and Verification of Formal Specifications...

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9781249834274_new

Contacter le vendeur

Acheter neuf

EUR 55,24
Autre devise
Frais de port : EUR 4,67
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf PAP
impression à la demande

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781249834274

Contacter le vendeur

Acheter neuf

EUR 59,86
Autre devise
Frais de port : EUR 1,08
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf PAP
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781249834274

Contacter le vendeur

Acheter neuf

EUR 55,97
Autre devise
Frais de port : EUR 4,98
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Steven A. Thomson
Edité par BiblioScholar 2012-10-17, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9781249834274

Contacter le vendeur

Acheter neuf

EUR 49,87
Autre devise
Frais de port : EUR 11,10
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Steven A Thomson
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Paperback / softback
impression à la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 416. N° de réf. du vendeur C9781249834274

Contacter le vendeur

Acheter neuf

EUR 60,97
Autre devise
Frais de port : EUR 6,43
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Thomson, Steven A.
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such. N° de réf. du vendeur 6489221

Contacter le vendeur

Acheter neuf

EUR 61,74
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 212. N° de réf. du vendeur 26393273635

Contacter le vendeur

Acheter neuf

EUR 69,13
Autre devise
Frais de port : EUR 7,84
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 212. N° de réf. du vendeur 386359036

Contacter le vendeur

Acheter neuf

EUR 68,78
Autre devise
Frais de port : EUR 10,35
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Thomson, Steven A
Edité par Biblioscholar, 2012
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 212. N° de réf. du vendeur 18393273641

Contacter le vendeur

Acheter neuf

EUR 72,16
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Steven A. Thomson
ISBN 10 : 1249834279 ISBN 13 : 9781249834274
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Neuware - The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (VV). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V and V of software systems. N° de réf. du vendeur 9781249834274

Contacter le vendeur

Acheter neuf

EUR 80,96
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

There are 2 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre