Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Verified Software: Theories, Tools, Experiments (Softcover)  - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Bild 1 von 1

Verified Software: Theories, Tools, Experiments (Softcover)

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Erschienen 07.07.2008 - Kartoniert, 572 Seiten, 235mm x 155mm x 31mm, Sprache(n): eng

Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen
Mehr anzeigen
Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A5882709
Kategorie(n):
Betriebssysteme | Computerprogrammierung und Softwareentwicklung | Compiler und Übersetzer | Software Engineering | Theoretische Informatik
ISBN | EAN:
3540691472 | 9783540691471
Stichworte:
C#, Dependability, ExceptionHandling, FaultTolerance, Softwareverification, algorithms, concurrentsystems, distributedsystems, formalmethods, logic, modelchecking, programminglanguage, proving, theoremproving, verification, EDV / Theorie / Software-Entw. / Testmethoden
Zahlungsarten:
Vorauskasse, PayPal
Neuware
Neu121,78 EURKostenloser Versand
Verified Software: Theories, Tools, Experiments (Softcover)  - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Verified Software: Theories, Tools, Experime…
Neu
121,78 EUR
Kostenloser Versand
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King¿s 1969 thesis on ¿A program verifier. ¿ What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development¿proceeding more slowly, alas, than the other two trends¿of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a ¿Grand Challenge¿ intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.
Weitere/ähnliche Angebote für diesen Artikel Verified Software: Theories, Tools, Experiments (Softcover) - First IFIP TC 2/…

Ähnliche Bücher, die interessant für Sie sein könnten Verlag: Springer Berlin