Validation of Evolving Software (PDF)
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
Prof. Daniel Kroening received his Ph.D. in Computer Science from Saarland University in 2001. He was an assistant professor at ETH Zurich in 2004-2007, he is now a professor in the Dept. of Computer Science at the University of Oxford. His areas of interest include model checking, decision procedures and software analysis. A feature of his work is frequent interaction with industrial partners, such as Microsoft Research, Intel Research, Toyota Motors, Ford, and Airbus UK.
Dr. Leonardo Mariani received his Ph.D. in Computer Science at the University of Milano Bicocca in 2005, where he is currently a researcher, collaborating with the Laboratory of Test and Analysis. His research interests include the test and analysis of component-based systems, inference of behavioural models, dynamic analysis, test and analysis of service-based applications, design of self-healing solutions and the design and development of autonomous and adaptive systems.
Prof. Natasha Sharygina received her Ph.D. from the University of Texas at Austin. She is the head of the Formal Verification lab at the University of Lugano (USI) and an adjunct professor at Carnegie Mellon University. She is an expert in the field of formal verification, static analysis and system design. Her lab creates both theoretical frameworks and practical
- 2015, 2015, 220 Seiten, Englisch
- Herausgegeben: Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319106236
- ISBN-13: 9783319106236
- Erscheinungsdatum: 01.07.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 7.20 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Validation of Evolving Software".
Kommentar verfassen