Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Thomson, Steven A
ISBN 10: 1249834279 ISBN 13: 9781249834274
Verlag: Biblioscholar, 2012
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9781249834274_new
Inhaltsangabe:
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.
Reseña del editor: 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Validation and Verification of Formal ...
Verlag: Biblioscholar
Erscheinungsdatum: 2012
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag:
Books on Demand|BiblioScholar, 2012
ISBN 10: 1249834279
ISBN 13: 9781249834274
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Artikel-Nr. 6489221
Neu kaufen
EUR 61,74
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Verlag:
Creative Media Partners, LLC Okt 2012, 2012
ISBN 10: 1249834279
ISBN 13: 9781249834274
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9781249834274
Neu kaufen
EUR 74,86
EUR 62,05 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar