ZB 2000: Formal Specification and Development in Z and B, Jonathan P. Bowen; Steve Dunne; Andy Galloway; Ste
Автор: Shaoying Liu Название: Formal Engineering for Industrial Software Development ISBN: 3642058272 ISBN-13(EAN): 9783642058271 Издательство: Springer Рейтинг: Цена: 12571.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Didier Bert; Jonathan P. Bowen; Steve King; Marina Название: ZB 2003: Formal Specification and Development in Z and B ISBN: 3540402535 ISBN-13(EAN): 9783540402534 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications and tools.
Автор: Rudolf Berghammer; Yassine Lakhnech Название: Tool Support for System Specification, Development and Verification ISBN: 3211832823 ISBN-13(EAN): 9783211832820 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems.
Автор: Berthold Hoffmann; Bernd Krieg-Br?ckner Название: Program Development by Specification and Transformation ISBN: 354056733X ISBN-13(EAN): 9783540567332 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.
Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.
Название: Formal Software Development ISBN: 0333992814 ISBN-13(EAN): 9780333992814 Издательство: Springer Рейтинг: Цена: 9502.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.
Автор: J. Bicarregui; C.B. Jones; K.D. Jones; M. Elvang-G Название: mural: A Formal Development Support System ISBN: 354019651X ISBN-13(EAN): 9783540196518 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is an introduction to MURAL, a software-support system that aims to create a user-friendly software environment which makes the best use of human talents to produce well-designed computer systems. The text describes the requirements, concepts and realization of the MURAL system.
Автор: Kevin Lano Название: Formal Object-Oriented Development ISBN: 3540199780 ISBN-13(EAN): 9783540199786 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices.
Автор: Dines Bj?rner; C.A.R. Hoare; Hans Langmaack Название: VDM `90. VDM and Z - Formal Methods in Software Development ISBN: 3540525130 ISBN-13(EAN): 9783540525134 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.
Автор: Jacobson Название: The Road to the Unified Software Development Process ISBN: 0521787742 ISBN-13(EAN): 9780521787741 Издательство: Cambridge Academ Рейтинг: Цена: 9979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an excellent overview of Ivar Jacobson`s work on the Unified Software Development Process.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
