Автор: Pau Fonseca i Casas; Maria-Ribera Sancho; Edel She Название: System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 ISBN: 3030306895 ISBN-13(EAN): 9783030306892 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions.
Автор: Ferhat Khendek; Reinhard Gotzhein Название: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering ISBN: 3030010414 ISBN-13(EAN): 9783030010416 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year’s edition of SAM will be under the theme “Languages, Methods, and Tools for Systems Engineering”, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.
Автор: Wlaschin Scott Название: Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# ISBN: 1680502549 ISBN-13(EAN): 9781680502541 Издательство: Wiley Рейтинг: Цена: 40650.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: In this pragmatic, down-to-earth guide, you`ll see how applying the core principles of functional programming can result in software designs that model real-world requirements both elegantly and concisely - often more so than an object-oriented approach.
Автор: Weske Mathias Название: Business Process Management: Concepts, Languages, Architectures ISBN: 3662594315 ISBN-13(EAN): 9783662594315 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Нет в наличии. Описание: Business process management is usually treated from two different perspectives: business administration and computer science. While business administration professionals tend to consider information technology as a subordinate aspect in business process management for experts to handle, by contrast computer science professionals often consider business goals and organizational regulations as terms that do not deserve much thought but require the appropriate level of abstraction.Matthias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. To this end, he details the complete business process lifecycle from the modeling phase to process enactment and improvement, taking into account all different stakeholders involved. After starting with a presentation of general foundations and abstraction models, he explains concepts like process orchestrations and choreographies, as well as process properties and data dependencies. Finally, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. In addition, he shows how standards like WfMC, SOAP, WSDL, and BPEL fit into the picture.This textbook is ideally suited for classes on business process management, information systems architecture, and workflow management. This 3rd edition contains a new chapter on business decision modelling, covering the Decision Model and Notation (DMN) standard; the chapter on process choreographies has been streamlined, and numerous clarifications have been fetched throughout the book. The accompanying website www.bpm-book.com contains further information and additional teaching material.
Автор: Merkow, Mark S. , Raghavan, Lakshmikanth Название: Secure and Resilient Software ISBN: 0367382148 ISBN-13(EAN): 9780367382148 Издательство: Taylor&Francis Рейтинг: Цена: 60220.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Detailing a comprehensive set of requirements for secure and resilient software development and operation, this book supplies documented test cases for those requirements as well as best practices for testing nonfunctional requirements. It offers ground-level, already-developed software nonfunctional requirements and corresponding test cases and
Автор: John M. Blain Название: The Complete Guide to Blender Graphics: Computer Modeling & Animation, Fifth Edition ISBN: 0367184745 ISBN-13(EAN): 9780367184742 Издательство: Taylor&Francis Рейтинг: Цена: 57150.00 T Наличие на складе: Невозможна поставка. Описание: Blender™ is a free Open Source 3D Creation Suite supporting the entire modeling and animation pipeline – modeling, rigging, animation, simulation, rendering, compositing and motion tracking. The program also includes Video Editing and Grease Pencil 2D Animation. The program is free to download and use by anyone for anything. The Complete Guide to Blender Graphics: Modeling and Animation, 5th Edition is a unified manual describing the operation of Blender version 2.80 with its New Improved Interface, New Workspaces and New Eevee Render System. This book introduces the program's Graphical User Interface and shows how to implement tools for modeling and animating characters and creating scenes with the application of color, texture and special lighting effects. Key Features: The book is designed to lead new users into the world of computer graphics using Blender 2.80 and to be a reference for established Blender artists. The book presents instruction in a series of short chapters with visual references and practical examples. Instructions are structured in a building-block fashion using contents in earlier chapters to explain more complex operations in later chapters.
Автор: Susanne Albers; Alberto Marchetti-Spaccamela; Yoss Название: Automata, Languages and Programming ISBN: 3642029264 ISBN-13(EAN): 9783642029264 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 36th International Colloquium ICALP 2009 Rhodes Greece July 512 2009 Proceedings Part I. .
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: Leach Название: Introduction to Software Engineering, Second Edition ISBN: 1498705278 ISBN-13(EAN): 9781498705271 Издательство: Taylor&Francis Рейтинг: Цена: 102080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Practical Guidance on the Efficient Development of High-Quality Software
Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of future changes in the field, even if the changes are unpredictable or disruptive in nature. Retaining the same organization as its predecessor, this second edition adds considerable material on open source and agile development models.
The text helps students understand software development techniques and processes at a reasonably sophisticated level. Students acquire practical experience through team software projects. Throughout much of the book, a relatively large project is used to teach about the requirements, design, and coding of software. In addition, a continuing case study of an agile software development project offers a complete picture of how a successful agile project can work.
The book covers each major phase of the software development life cycle, from developing software requirements to software maintenance. It also discusses project management and explains how to read software engineering literature. Three appendices describe software patents, command-line arguments, and flowcharts.
Автор: Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3319479571 ISBN-13(EAN): 9783319479576 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;
Автор: Lluch Lafuente Название: Coordination Models and Languages ISBN: 3319395181 ISBN-13(EAN): 9783319395180 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Multilevel Transitive and Intransitive Non-Interference, Causally.- A Game Interpretation of Retractable Contracts.- Where Do Your IoT Ingredients Come from?.- Tuple Spaces Implementations and Their Efficiency.- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination.- Scheduling Games for Concurrent Systems.- ParT: An Asynchronous Parallel Abstraction for Speculative PipelineComputations.- Modelling Ambulance Deployment with CARMA.- On Synchronous and Asynchronous Compatibility of Communicating Components.- A Semantic Theory of the Internet of Things.- A Formal Analysis of the Global Sequence Protocol.- Improving Gossip Dynamics through Overlapping Replicates.- From Modelling to Systematic Deployment of Distributed Active Objects.- An Interference-Free Programming Model for Network Objects.- On Sessions and Infinite Data.- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Автор: Enrico Pontelli; Tran Cao Son Название: Practical Aspects of Declarative Languages ISBN: 3319196855 ISBN-13(EAN): 9783319196855 Издательство: Springer Рейтинг: Цена: 37270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
