Software Engineering and Formal Methods, De Nicola

Автор: Karin Breitman; Ana Cavalcanti
Название: Formal Methods and Software Engineering
ISBN: 3642103723 ISBN-13(EAN): 9783642103728
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 11th International Conference on Formal Engineering Methods ICFEM 2009 Rio de Janeiro Brazil Decemb. .

Автор: Kazuhiro Ogata; Mark Lawford; Shaoying Liu
Название: Formal Methods and Software Engineering
ISBN: 3319478451 ISBN-13(EAN): 9783319478456
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.

Автор: Thayer
Название: Software engineering project management
ISBN: 0818680008 ISBN-13(EAN): 9780818680007
Издательство: Wiley
Рейтинг:
Цена: 16782.00 р.
Наличие на складе: Поставка под заказ.

Описание: Newly revised for 2001, this second edition of Richard Thayer's popular, bestselling book presents a top-down, practical view of managing a successful software engineering project. The book builds a framework for project management activities based on the planning, organizing, staffing, directing, and controlling model. Thayer provides information designed to help you understand and successfully perform the unique role of a project manager.

This book is a must for all project managers in the software field. The text focuses on the five functions of general management by first describing each function and then detailing the project management activities that support each function. This second edition shows you how to manage a software development project, discusses current software engineering management methodologies and techniques, and presents general descriptions and project management problems. The book serves as a guide for your future project management activities. The text also offers students sufficient background and instructional material to serve as a main or supplementary text for a course in software engineering project management.

Note: The 2001 revision includes a new Chapter 4 Introduction and a new paper that replaces an older paper.

Автор: Shaoying Liu; Tom Maibaum; Keijiro Araki
Название: Formal Methods and Software Engineering
ISBN: 354088193X ISBN-13(EAN): 9783540881933
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 7602.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.