Programming Languages for MIS, Wang

Автор: 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.

Автор: Harper
Название: Practical Foundations for Programming Languages
ISBN: 1107150302 ISBN-13(EAN): 9781107150300
Издательство: Cambridge Academ
Рейтинг:
Цена: 9978.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.