Specification and Design of Software Systems, El?d Knuth; E.J. Neuhold

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

Автор: Wolfgang Bibel; Klaus P. Jantke
Название: Mathematical Methods of Specification and Synthesis of Software Systems `85
ISBN: 3540164448 ISBN-13(EAN): 9783540164449
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: V.S. Alagar; K. Periyasamy
Название: Specification of Software Systems
ISBN: 1447126440 ISBN-13(EAN): 9781447126447
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Автор: Gomaa
Название: Real-Time Software Design for Embedded Systems
ISBN: 1107041090 ISBN-13(EAN): 9781107041097
Издательство: Cambridge Academ
Рейтинг:
Цена: 12672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: Shusaku Iida; Jos? Meseguer; Kazuhiro Ogata
Название: Specification, Algebra, and Software
ISBN: 3642546234 ISBN-13(EAN): 9783642546235
Издательство: Springer
Рейтинг:
Цена: 11180.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.

Автор: Roel J. Wieringa
Название: Design Science Methodology for Information Systems and Software Engineering
ISBN: 3662524465 ISBN-13(EAN): 9783662524466
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning design goals and knowledge questions, how to validate artifact designs and how to empirically investigate artifacts in context - and finally how to present the results of the design cycle as a whole.