Validation of Evolving Software
Editat de Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharyginaen Limba Engleză Paperback – 17 oct 2016
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 316.59 lei 43-57 zile | |
| Springer International Publishing – 17 oct 2016 | 316.59 lei 43-57 zile | |
| Hardback (1) | 322.61 lei 43-57 zile | |
| Springer International Publishing – 10 iul 2015 | 322.61 lei 43-57 zile |
Preț: 316.59 lei
Preț vechi: 395.75 lei
-20% Nou
Puncte Express: 475
Preț estimativ în valută:
56.02€ • 65.69$ • 49.20£
56.02€ • 65.69$ • 49.20£
Carte tipărită la comandă
Livrare economică 02-16 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783319382005
ISBN-10: 3319382004
Pagini: 228
Ilustrații: VIII, 220 p. 60 illus., 28 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:Softcover reprint of the original 1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3319382004
Pagini: 228
Ilustrații: VIII, 220 p. 60 illus., 28 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:Softcover reprint of the original 1st ed. 2015
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Software MetricsNorman Fenton-33%Preț: 419.42 lei629.67 lei -
Software EssentialsAdair Dingle-34%Preț: 614.92 lei933.79 lei -
Evidence-Based Software Engineering and Systematic ReviewsBarbara Ann Kitchenham-20%Preț: 743.88 lei929.85 lei -
Human–Computer Interaction: Fundamentals and PracticeGerard Jounghyun Kim-20%Preț: 729.95 lei912.43 lei -
Building Applications with iBeaconMatthew Gast-20%Preț: 134.31 lei167.89 lei -
Introduction to Software EngineeringRonald J. Leach-20%Preț: 748.67 lei935.84 lei -
Scheduling of Large-Scale Virtualized InfrastructuresFlavien Quesnel-20%Preț: 884.54 lei1105.67 lei -
Practicing Software Engineering in the 21st CenturyJoan Pechman-19%Preț: 459.35 lei567.10 lei -
Requirements Engineering FundamentalsKlaus Pohl-39%Preț: 157.60 lei257.79 lei -
-20%Preț: 319.92 lei399.90 lei -
-20%Preț: 328.79 lei410.99 lei -
-20%Preț: 340.35 lei425.44 lei -
Web EngineeringEmilia Mendes-20%Preț: 333.06 lei416.32 lei -
Agent-Oriented Software Engineering VIILin Padgham-20%Preț: 318.30 lei397.88 lei -
-20%Preț: 317.85 lei397.31 lei -
-20%Preț: 315.62 lei394.52 lei -
-20%Preț: 655.70 lei819.62 lei -
Methodenhandbuch für SoftwareschulungenStefanie Gerlach-20%Preț: 362.24 lei452.80 lei -
-20%Preț: 271.05 lei338.82 lei
Cuprins
Introduction.- Challenges of Existing Technology.- Static Analysis.- Dynamic Analysis.- Hybrid Analysis.- Quality of Validation.
Notă biografică
Dr. Hana Chockler received her Ph.D. in Computer Science from the Hebrew University of Jerusalem in 2003. She is a member of the Software Modelling and Applied Logic Group in King's College, London, UK; she previously worked in the formal methods group at IBM Haifa Research Labs. She has particular expertise in coverage metrics and their extension to quality metrics; her broader research interests include formal verification, model-checking of hardware and software; coverage and vacuity in formal verification; causality, responsibility and its relation to formal methods; explanation of counterexamples and the cross-entropy method for testing.
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 andpractical tools to enable sound, scalable verification of industrial-size systems and they collaborate with industrial partners such as IBM Haifa, Cadence, Intel and ABB.
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 andpractical tools to enable sound, scalable verification of industrial-size systems and they collaborate with industrial partners such as IBM Haifa, Cadence, Intel and ABB.
Textul de pe ultima copertă
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.
Caracteristici
Builds a unified approach to efficient and reliable validation of changes and upgrades Contributing authors among the leading academic researchers, with extensive industrial experience Useful reference book for researchers and engineers engaged with software testing Includes supplementary material: sn.pub/extras