Verwandte Artikel zu Validation and Verification of Formal Specifications...
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering - Softcover
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
- VerlagBiblioScholar
- Erscheinungsdatum2012
- ISBN 10 1249834279
- ISBN 13 9781249834274
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten212
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 55,47
EUR 5,85 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Validation and Verification of Formal Specifications...
Beispielbild für diese ISBN
Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9781249834274_new
Anzahl: Mehr als 20 verfügbar
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 5 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
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
Anzahl: 2 verfügbar