Автор: Jorgensen Название: Software Testing ISBN: 1466560681 ISBN-13(EAN): 9781466560680 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Поставка под заказ.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Описание: This in-depth introduction for students and researchers shows how to use ASP for intelligent tasks, including answering queries, planning, and diagnostics.
Автор: McCormick Название: Building High Integrity Applications with SPARK ISBN: 1107656842 ISBN-13(EAN): 9781107656840 Издательство: Cambridge Academ Рейтинг: Цена: 8078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
Автор: Wellin Название: Essentials of Programming in Mathematica ® ISBN: 110711666X ISBN-13(EAN): 9781107116665 Издательство: Cambridge Academ Рейтинг: Цена: 8870.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction is suitable for someone who has little or no background in Mathematica (R), or who has some experience using other languages such as C, Java, or Perl. Starting from first principles, this example-driven text contains material from disciplines as varied as linguistics, bioinformatics, geometry, computer science, and many more.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
