Eintrag weiter verarbeiten
Online-Ressource

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Gespeichert in:

Personen und Körperschaften: Barringer, Howard (VerfasserIn), Falcone, Ylies (Sonstige), Finkbeiner, Bernd (Sonstige), Havelund, Klaus (Sonstige), Lee, Insup (Sonstige), Pace, Gordon J. (Sonstige), Rosu, Grigore (Sonstige), Sokolsky, Oleg (Sonstige), Tillmann, Nikolai (Sonstige)
Titel: Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings/ edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 6418
Schlagwörter:
Computer software
Logic design
Computer Science
Computer science
Software engineering
Algorithms.
Computer programming.
Compilers (Computer programs).
Paperback / softback
Research
algorithm analysis
debugging
dynamic analysis
dynamic program analysis
fault protection
log file analysis
program understanding
program validation
program verification
runtime analysis
runtime checking
runtime monitoring
runtime reflection
runtime verification
security monitoring
specification languages
testing
trace analysis
tracing
Konferenzschrift > 2010 > Saint Julians
Buchausg. u.d.T.: Runtime verification, Berlin : Springer, 2010, XIII, 492 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz