Domain psvt.de kaufen?
Wir ziehen mit dem Projekt
psvt.de um.
Sind Sie am Kauf der Domain
psvt.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain psvt.de kaufen?
Runtime Verification, Fachbücher von Serdar Tasiran, Shaz Qadeer
Das Buch "Runtime Verification" stellt die überarbeiteten Tagungsberichte der Dritten Internationalen Konferenz zur Laufzeitüberprüfung dar, die im September 2012 in Istanbul, Türkei, stattfand. Es umfasst 25 sorgfältig ausgewählte und überarbeitete Volltexte sowie 3 eingeladene Beiträge und 2 Tutorials, die aus insgesamt 50 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen sind vielfältig und reichen von Spezifikationssprachen und -formalismen für Traces über Spezifikationsabbau, Programm-Instrumentierung und Techniken zur Monitor-Konstruktion bis hin zu Logging, Aufzeichnung und Wiederholung. Darüber hinaus werden Aspekte wie Fehlersuche, Lokalisierung, Wiederherstellung und Reparatur, Programmsteuerung und -anpassung sowie die Kombination von statischen und dynamischen Analysen behandelt. Das Buch bietet somit einen umfassenden Überblick über aktuelle Entwicklungen und Techniken im Bereich der Laufzeitüberprüfung.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Runtime Verification, Fachbücher von Thao Dang, Volker Stolz
Das Buch "Runtime Verification" dokumentiert die refereed Proceedings der 22. Internationalen Konferenz zur Laufzeitüberprüfung, die vom 28. bis 30. September 2022 in Tbilisi, Georgien, stattfand. Es umfasst 12 reguläre und 10 Kurzbeiträge, die aus insgesamt 40 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Konferenz behandelt alle Aspekte der Überwachung und Analyse von Hardware, Software und allgemeineren Systemausführungen. Die Techniken der Laufzeitüberprüfung sind entscheidend für die Korrektheit, Zuverlässigkeit und Robustheit von Systemen. Sie bieten eine zusätzliche Ebene der Strenge und Effektivität im Vergleich zu herkömmlichen Testmethoden und sind in der Regel praktischer als umfassende formale Verifikationen.
70,61 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Runtime-Verification-Fachbücher-von
Top-Angebote
Produkte zum Begriff Runtime-Verification-Fachbücher-von:
-
Runtime Verification, Fachbücher von Ezio Bartocci, Rupak MajumdarDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 6. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2015 in Wien, Österreich, stattfand. Es umfasst 15 überarbeitete Volltexte, 4 Kurzbeiträge, 2 Werkzeugpapiere, 4 Tutorials, 3 eingeladene Vorträge und 2 Beiträge aus Softwarewettbewerben, die aus insgesamt 45 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelt zwei Hauptaspekte: Zum einen wird untersucht, inwieweit Techniken der Laufzeitüberprüfung die traditionellen Methoden zur Programmverifikation ergänzen können, wie etwa Modellprüfung und Theorembeweise. Zum anderen wird erörtert, wie formale Methoden die Anwendung traditioneller, ad-hoc Überwachungstechniken in Bereichen wie Leistungsüberwachung, Hardware-Design-Emulation und Simulation verbessern können.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Oleg Sokolsky, Serdar TasiranDas Buch "Runtime Verification" von Springer bietet eine umfassende Einführung in ein aktuelles Forschungsfeld der formalen Methoden, das sich als Ergänzung zu etablierten Verifikationsmethoden wie dem Model Checking versteht. Es behandelt die Entwicklung formaler Sprachen, die zur Beschreibung von Systemeigenschaften geeignet sind, die zur Laufzeit überprüfbar sind. Zudem werden Algorithmen zur Überprüfung formaler Eigenschaften über Ausführungsspuren sowie effiziente Methoden zur Informationsgewinnung aus laufenden Systemen thematisiert. Die Anwendungen der Runtime Verification-Technologie sind vielfältig und reichen von der Überwachung der Systemkorrektheit und -leistung nach der Bereitstellung bis hin zur Erstellung formal spezifizierter Testorakel und der Sammlung von Statistiken über das Systemverhalten. Das Buch reflektiert auch die Entwicklung und die jährlichen Workshops zu diesem Thema, die seit 2001 stattfinden und wichtige Verbindungen zu anderen Softwareentwicklungsgemeinschaften erkunden.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Axel Legay, Saddek BensalemDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 4. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2013 in Rennes, Frankreich, stattfand. Es umfasst 24 überarbeitete Volltexte, die zusammen mit 3 eingeladenen Beiträgen, 2 Werkzeugbeiträgen und 6 Tutorials präsentiert werden. Diese Arbeiten wurden sorgfältig aus 58 eingereichten Manuskripten ausgewählt und decken ein breites Spektrum an Themen ab, die für die Laufzeitüberprüfung von Software von Bedeutung sind. Die behandelten Themen reichen von Spezifikationssprachen und Formalismen für Traces über Spezifikationsabbau und Programm-Instrumentierung bis hin zu Techniken zur Monitor-Konstruktion. Darüber hinaus werden Aspekte wie Fehlererkennung, -lokalisierung, -wiederherstellung und -reparatur sowie Programmsteuerung und -anpassung behandelt. Das Buch bietet somit wertvolle Einblicke in die Kombination von statischen und dynamischen Analysen sowie die Visualisierung der Programmausführung.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Erika Ábrahám, Houssam AbbasDas Buch "Runtime Verification" präsentiert die refereed Proceedings der 24. Internationalen Konferenz zur Laufzeitüberprüfung, die vom 15. bis 17. Oktober 2024 in Istanbul, Türkei, stattfand. Es umfasst eine sorgfältige Auswahl von 11 Volltextbeiträgen, 5 Kurzbeiträgen und 2 Tool-Papieren, die aus insgesamt 31 eingereichten Arbeiten ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die verschiedene Aspekte der Laufzeitüberprüfung abdecken, darunter cyber-physische Systeme, temporale Logiken, Spezifikation und Visualisierung, tiefe neuronale Netzwerke sowie verteilte Systeme. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Herausforderungen in der Laufzeitüberprüfung auseinandersetzen möchten.58,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Runtime Verification, Fachbücher von Bettina Könighofer, Hazem Torfah
Das Fachbuch "Runtime Verification" präsentiert die sorgfältig ausgewählten Beiträge der 25. Internationalen Konferenz zu Runtime Verification, die in Graz, Österreich, stattfand. Es umfasst 22 reguläre Beiträge, einen Kurzbeitrag, zwei Tool-Papiere und einen Tutorial-Beitrag, die aus 64 Einreichungen ausgewählt wurden. Das Buch bietet einen tiefgehenden Einblick in formale Methoden zur Überwachung, Analyse und Steuerung des Laufzeitverhaltens von Software- und Hardwaresystemen. Die vorgestellten Techniken zur Laufzeitverifikation sind von zentraler Bedeutung, um die Korrektheit, Zuverlässigkeit und Robustheit von Systemen sicherzustellen. Sie ergänzen herkömmliche Testverfahren und bieten oft eine praktikablere Alternative zur vollständigen formalen Verifikation. Das Buch richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT, die an der Weiterentwicklung und Anwendung von Überwachungsmethoden interessiert sind. Es liefert fundierte theoretische Grundlagen sowie praxisnahe Ansätze, die zur Verbesserung der Systemqualität beitragen. Die Inhalte sind in englischer Sprache verfasst und bieten einen umfassenden Überblick über aktuelle Entwicklungen und Herausforderungen in diesem Fachgebiet.
70,61 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Runtime Verification, Fachbücher von Borzoo Bonakdarpour, Scott A. Smolka
Das Buch "Runtime Verification" dokumentiert die referierten Beiträge der 5. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2014 in Toronto, Kanada, stattfand. Es umfasst 28 überarbeitete Volltexte, 2 Tool-Papiere und 8 Kurzbeiträge, die aus insgesamt 70 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelte eine Vielzahl von Themen, die sich auf die Überwachung und Analyse von Systemen konzentrieren, einschliesslich der Laufzeitüberprüfung von verteilten und parallelen Systemen sowie von Echtzeit- und eingebetteten Systemen. Darüber hinaus werden Aspekte wie Testen, Fehlersuche sowie Inferenz und Lernen behandelt. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Methoden in der Laufzeitüberprüfung auseinandersetzen möchten.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Runtime-Verification-Fachbücher-von:
-
Runtime Verification, Fachbücher von Serdar Tasiran, Shaz QadeerDas Buch "Runtime Verification" stellt die überarbeiteten Tagungsberichte der Dritten Internationalen Konferenz zur Laufzeitüberprüfung dar, die im September 2012 in Istanbul, Türkei, stattfand. Es umfasst 25 sorgfältig ausgewählte und überarbeitete Volltexte sowie 3 eingeladene Beiträge und 2 Tutorials, die aus insgesamt 50 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen sind vielfältig und reichen von Spezifikationssprachen und -formalismen für Traces über Spezifikationsabbau, Programm-Instrumentierung und Techniken zur Monitor-Konstruktion bis hin zu Logging, Aufzeichnung und Wiederholung. Darüber hinaus werden Aspekte wie Fehlersuche, Lokalisierung, Wiederherstellung und Reparatur, Programmsteuerung und -anpassung sowie die Kombination von statischen und dynamischen Analysen behandelt. Das Buch bietet somit einen umfassenden Überblick über aktuelle Entwicklungen und Techniken im Bereich der Laufzeitüberprüfung.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Thao Dang, Volker StolzDas Buch "Runtime Verification" dokumentiert die refereed Proceedings der 22. Internationalen Konferenz zur Laufzeitüberprüfung, die vom 28. bis 30. September 2022 in Tbilisi, Georgien, stattfand. Es umfasst 12 reguläre und 10 Kurzbeiträge, die aus insgesamt 40 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Konferenz behandelt alle Aspekte der Überwachung und Analyse von Hardware, Software und allgemeineren Systemausführungen. Die Techniken der Laufzeitüberprüfung sind entscheidend für die Korrektheit, Zuverlässigkeit und Robustheit von Systemen. Sie bieten eine zusätzliche Ebene der Strenge und Effektivität im Vergleich zu herkömmlichen Testmethoden und sind in der Regel praktischer als umfassende formale Verifikationen.70,61 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Ezio Bartocci, Rupak MajumdarDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 6. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2015 in Wien, Österreich, stattfand. Es umfasst 15 überarbeitete Volltexte, 4 Kurzbeiträge, 2 Werkzeugpapiere, 4 Tutorials, 3 eingeladene Vorträge und 2 Beiträge aus Softwarewettbewerben, die aus insgesamt 45 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelt zwei Hauptaspekte: Zum einen wird untersucht, inwieweit Techniken der Laufzeitüberprüfung die traditionellen Methoden zur Programmverifikation ergänzen können, wie etwa Modellprüfung und Theorembeweise. Zum anderen wird erörtert, wie formale Methoden die Anwendung traditioneller, ad-hoc Überwachungstechniken in Bereichen wie Leistungsüberwachung, Hardware-Design-Emulation und Simulation verbessern können.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Oleg Sokolsky, Serdar TasiranDas Buch "Runtime Verification" von Springer bietet eine umfassende Einführung in ein aktuelles Forschungsfeld der formalen Methoden, das sich als Ergänzung zu etablierten Verifikationsmethoden wie dem Model Checking versteht. Es behandelt die Entwicklung formaler Sprachen, die zur Beschreibung von Systemeigenschaften geeignet sind, die zur Laufzeit überprüfbar sind. Zudem werden Algorithmen zur Überprüfung formaler Eigenschaften über Ausführungsspuren sowie effiziente Methoden zur Informationsgewinnung aus laufenden Systemen thematisiert. Die Anwendungen der Runtime Verification-Technologie sind vielfältig und reichen von der Überwachung der Systemkorrektheit und -leistung nach der Bereitstellung bis hin zur Erstellung formal spezifizierter Testorakel und der Sammlung von Statistiken über das Systemverhalten. Das Buch reflektiert auch die Entwicklung und die jährlichen Workshops zu diesem Thema, die seit 2001 stattfinden und wichtige Verbindungen zu anderen Softwareentwicklungsgemeinschaften erkunden.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Runtime-Verification-Fachbücher-von
-
Runtime Verification, Fachbücher von Axel Legay, Saddek BensalemDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 4. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2013 in Rennes, Frankreich, stattfand. Es umfasst 24 überarbeitete Volltexte, die zusammen mit 3 eingeladenen Beiträgen, 2 Werkzeugbeiträgen und 6 Tutorials präsentiert werden. Diese Arbeiten wurden sorgfältig aus 58 eingereichten Manuskripten ausgewählt und decken ein breites Spektrum an Themen ab, die für die Laufzeitüberprüfung von Software von Bedeutung sind. Die behandelten Themen reichen von Spezifikationssprachen und Formalismen für Traces über Spezifikationsabbau und Programm-Instrumentierung bis hin zu Techniken zur Monitor-Konstruktion. Darüber hinaus werden Aspekte wie Fehlererkennung, -lokalisierung, -wiederherstellung und -reparatur sowie Programmsteuerung und -anpassung behandelt. Das Buch bietet somit wertvolle Einblicke in die Kombination von statischen und dynamischen Analysen sowie die Visualisierung der Programmausführung.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Erika Ábrahám, Houssam AbbasDas Buch "Runtime Verification" präsentiert die refereed Proceedings der 24. Internationalen Konferenz zur Laufzeitüberprüfung, die vom 15. bis 17. Oktober 2024 in Istanbul, Türkei, stattfand. Es umfasst eine sorgfältige Auswahl von 11 Volltextbeiträgen, 5 Kurzbeiträgen und 2 Tool-Papieren, die aus insgesamt 31 eingereichten Arbeiten ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die verschiedene Aspekte der Laufzeitüberprüfung abdecken, darunter cyber-physische Systeme, temporale Logiken, Spezifikation und Visualisierung, tiefe neuronale Netzwerke sowie verteilte Systeme. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Herausforderungen in der Laufzeitüberprüfung auseinandersetzen möchten.58,84 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Bettina Könighofer, Hazem TorfahDas Fachbuch "Runtime Verification" präsentiert die sorgfältig ausgewählten Beiträge der 25. Internationalen Konferenz zu Runtime Verification, die in Graz, Österreich, stattfand. Es umfasst 22 reguläre Beiträge, einen Kurzbeitrag, zwei Tool-Papiere und einen Tutorial-Beitrag, die aus 64 Einreichungen ausgewählt wurden. Das Buch bietet einen tiefgehenden Einblick in formale Methoden zur Überwachung, Analyse und Steuerung des Laufzeitverhaltens von Software- und Hardwaresystemen. Die vorgestellten Techniken zur Laufzeitverifikation sind von zentraler Bedeutung, um die Korrektheit, Zuverlässigkeit und Robustheit von Systemen sicherzustellen. Sie ergänzen herkömmliche Testverfahren und bieten oft eine praktikablere Alternative zur vollständigen formalen Verifikation. Das Buch richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT, die an der Weiterentwicklung und Anwendung von Überwachungsmethoden interessiert sind. Es liefert fundierte theoretische Grundlagen sowie praxisnahe Ansätze, die zur Verbesserung der Systemqualität beitragen. Die Inhalte sind in englischer Sprache verfasst und bieten einen umfassenden Überblick über aktuelle Entwicklungen und Herausforderungen in diesem Fachgebiet.70,61 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Runtime Verification, Fachbücher von Borzoo Bonakdarpour, Scott A. SmolkaDas Buch "Runtime Verification" dokumentiert die referierten Beiträge der 5. Internationalen Konferenz zur Laufzeitüberprüfung, die im September 2014 in Toronto, Kanada, stattfand. Es umfasst 28 überarbeitete Volltexte, 2 Tool-Papiere und 8 Kurzbeiträge, die aus insgesamt 70 Einreichungen sorgfältig ausgewählt wurden. Die Konferenz behandelte eine Vielzahl von Themen, die sich auf die Überwachung und Analyse von Systemen konzentrieren, einschliesslich der Laufzeitüberprüfung von verteilten und parallelen Systemen sowie von Echtzeit- und eingebetteten Systemen. Darüber hinaus werden Aspekte wie Testen, Fehlersuche sowie Inferenz und Lernen behandelt. Dieses Fachbuch richtet sich an Fachleute und Forscher im Bereich Technik und IT, die sich mit den neuesten Entwicklungen und Methoden in der Laufzeitüberprüfung auseinandersetzen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.