Angebote zu "Verifikation" (11 Treffer)

Test, Analyse und Verifikation von Software - g...
€ 29.90 *
ggf. zzgl. Versand

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim Einsatz von Software spielt. Auch durch die Anwendung von agilen Vorgehensweisen bei der Erstellung von Software ist das Testen zunehmend relevanter geworden. Seit über 25 Jahren gibt es in der ´´Gesellschaft für Informatik e.V.´´ (GI) eine Fachgruppe, die sich mit diesem Thema auseinandersetzt: TAV - Test, Analyse und Verifikation von Software. Das 25-jährige Bestehen dieser Fachgruppe wurde im Juni 2016 auf dem 39. Treffen in Bremen gefeiert. Dieses Buch umfasst einige der Vorträge, die auf dem Treffen gehalten wurden. Es wirft nicht nur einen Blick zurück in die Vergangenheit, sondern schaut auch nach vorne. Dabei beleuchtet es in weiteren Beiträgen aktuelle und zukünftige Ausrichtungen des Testens in Theorie und Praxis. Eine Auswahl der Themen: Softwarequalität zwischen hohem Ziel und hohler Floskel Leistungsfähige neue Testverfahren Quality Engineering für das Internet der Dinge Complete Model-based Testing Modellbasiertes Security-Testen Test- und Qualitätsmanagement in agilen Projekten Testen mit automatisch bestimmten Eingabegrammatiken The Future of Software Testing

Anbieter: buecher.de
Stand: Aug 27, 2018
Zum Angebot
Verifikation und Validation (Lehrbuch Informati...
€ 3.19 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Sep 14, 2018
Zum Angebot
Mathematik für die Informatik
€ 32.99 *
ggf. zzgl. Versand

Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.

Anbieter: buecher.de
Stand: Aug 27, 2018
Zum Angebot
Logik für Informatiker
€ 34.99 *
ggf. zzgl. Versand

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz.Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.

Anbieter: buecher.de
Stand: Aug 27, 2018
Zum Angebot
Codeknacker gegen Codemacher
€ 39.90 *
ggf. zzgl. Versand

Die stark erweiterte 3. auflage enthält: Das Zeitalter der Verschlüsselung von hand; Das Zeitalter der Verschlüsselungsmaschinen; Das Zeitalter der Verschlüsselung mit dem Computer Der 1. Schritt auf dem Weg zum Junior-Programmierer. Vermittlung der Grundlagen und Konzepte, die fast allen Programmiersprachen zugrunde liegen. Die Konzepte werden Schritt für Schritt aufeinander aufbauend erklärt. Neben Wissen und Kenntnissen werden Fähigkeiten erworben, selbst Programme zu entwickeln und zu testen. Besonderer Wert wurde auf vollständige Beispiele gelegt. Eine Fallstudie OptiTravel wird schrittweise entwickelt und zeigt, wie eine systematische Softwarentwicklung abläuft. Themenschwerpunkte: Basiskonzepte, Kontrollstrukturen, Felder, Methoden, Testen, Verifikation. Neueste Java-Version und Nutzung der UML 2 (Unified Modeling Language). Einsatz der Entwicklungsumgebung BlueJ. Einführung in die Sprache C. Neu in der 4. Auflage: Einführung in die Sprache Processing 4 Kapitel ´Vom Problem zur Lösung´ 3 Kreuzworträtsel Zusätzliche Grafiken und Programme Merkeboxen für andere Perspektiven auf Themen 187 Abbildungen, 95 Glossarbegriffe, 100 Programme

Anbieter: buecher.de
Stand: Aug 27, 2018
Zum Angebot
Programmentwicklung und Verifikation als Buch v...
€ 69.99 *
ggf. zzgl. Versand

Programmentwicklung und Verifikation:Mit zahlr. Beisp. Angewandte Informatik Gerald Futschek

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot
Entwurf und Verifikation mikroprogrammierter Re...
€ 54.99 *
ggf. zzgl. Versand

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen:Informatik-Fachberichte. 1987. Auflage Werner Damm

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot
Verifikation digitaler Systeme als Buch von Han...
€ 49.95 *
ggf. zzgl. Versand

Verifikation digitaler Systeme:Eine Einführung in den Entwurf korrekter digitaler Systeme Leitfäden und Monographien der Informatik. Auflage 1991 Hans Eveking

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot
Petrinetze, lineare Algebra und lineare Program...
€ 44.99 *
ggf. zzgl. Versand

Petrinetze, lineare Algebra und lineare Programmierung:Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen Teubner-Texte zur Informatik. Auflage 1998 Jörg Desel

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot
Modellierung verteilter Systeme als Buch von Pe...
€ 54.99 *
ggf. zzgl. Versand

Modellierung verteilter Systeme:Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen Programm Angewandte Informatik. Softcover reprint of the original 1st ed. 1995 Peter Ochsenschläger

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot