Recent Trends in Algebraic Development Techniques, Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u
Автор: Andrea Corradini; Ugo Montanari Название: Recent Trends in Algebraic Development Techniques ISBN: 3642034284 ISBN-13(EAN): 9783642034282 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Автор: Francesco Parisi-Presicce Название: Recent Trends in Algebraic Development Techniques ISBN: 3540642994 ISBN-13(EAN): 9783540642992 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT `98, held in Italy, in June 1997. This book presents the state-of-the-art in the area of algebraic software development.
Автор: Narciso Mart?-Oliet; Miguel Palomino Название: Recent Trends in Algebraic Development Techniques ISBN: 3642376347 ISBN-13(EAN): 9783642376344 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing;
Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.
Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.
Автор: Edward Crookshanks Название: Practical Software Development Techniques ISBN: 1484207297 ISBN-13(EAN): 9781484207291 Издательство: Springer Рейтинг: Цена: 5304.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
1: Version Control
2: Unit Testing and Test Driven Development
3: Refactoring
4: Build Tools and Continuous Integration
5: Debugging
6: Development Methodologies and SDLC
7: Design Patterns and Architecture
8: Software Requirements
9: Just Enough SQL
Appendix A: Enterprise Considerations and Other Topics
Описание: Taken from the Second International B Conference, B`98, held in Montpellier, France, in April 1998, this text covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications and B extension proposals and support tools.
Автор: Alica Kelemenova; Jozef Kelemen Название: Trends, Techniques, and Problems in Theoretical Computer Science ISBN: 3540185356 ISBN-13(EAN): 9783540185352 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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
