Recent Trends in Algebraic Development Techniques, Francesco Parisi-Presicce
Автор: Michel Bidoit; Hans-J?rg Kreowski; Pierre Lescanne Название: Algebraic System Specification and Development ISBN: 3540540601 ISBN-13(EAN): 9783540540601 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is an annotated bibliography providing an up-to-date overview of past and present work on algebraic specification. Some indications of how the different approaches are related are included, together with some ideas concerning possible future developments.
Автор: Mihai Codescu; R?zvan Diaconescu; Ionu? ?u?u Название: Recent Trends in Algebraic Development Techniques ISBN: 3319281135 ISBN-13(EAN): 9783319281131 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
On Logic Embeddings and Gцdel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An Empirical Study.- A Full Operational Semantics for Asynchronous Relational Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Описание: 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
Appendix B: Discussion Questions
Appendix C: Database details
Appendix D: Bibliography
Автор: Gregory Arone; John Hubbuck; Ran Levi; Michael Wei Название: Categorical Decomposition Techniques in Algebraic Topology ISBN: 3034896018 ISBN-13(EAN): 9783034896016 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book consists of articles at the frontier of current research in Algebraic Topology.
Описание: 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.
Автор: 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
