Specification and verification of object-oriented software components
Roth, Andreas
Produktnummer:
18c14d3ff2d2b142ca9fd74b096c1fda30
| Autor: | Roth, Andreas |
|---|---|
| Themengebiete: | Formale Methode Formale Spezifikationstechnik Objektorientierung Softwarespezifikation Spezifikationstechnik |
| Veröffentlichungsdatum: | 12.06.2006 |
| EAN: | 9783866440425 |
| Sprache: | Englisch |
| Seitenzahl: | 248 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | KIT Scientific Publishing |
Produktinformationen "Specification and verification of object-oriented software components"
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen