Model-Driven Engineering Languages and Systems, Ana Moreira; Bernhard Sch?tz; Jeff Gray; Antonio V
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
Автор: Juergen Dingel; Wolfram Schulte; Isidro Ramos; Sil Название: Model-Driven Engineering Languages and Systems ISBN: 3319116525 ISBN-13(EAN): 9783319116525 Издательство: Springer Рейтинг: Цена: 12298.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cloud, Mobile and Web Computing.- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants.- A Model-Based System to Automate Cloud Resource Allocation and Optimization.- An Evaluation of the Effectiveness of the Atomic Section Model.- Model Transformation 1.- Parsing in a Broad Sense.- Streaming Model Transformations by Complex Event Processing.- On the Use of Signatures for Source Incremental Model-to-text Transformation.- Behavioral Modeling.- Modeling Systemic Behavior by State-Based Holonic Modular Units.- Semantic Model Differencing Utilizing Behavioral Semantics Specifications.- Formalizing Execution Semantics of UML Profiles with fUML Models.- MDE: Past, Present and Future.-Who Knows/Uses What of the UML: A Personal Opinion Survey.- Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain.- The Relevance of Model-Driven Engineering Thirty Years from Now.- Formal Semantics, Specification and Verification.- Verifying Compilation of Synchronous Distributed Applications.- Environment-Centric Contracts for Design of Cyber-Physical Systems.- Removing Redundancies and Deducing Equivalences in UML Class Diagrams.- Models at Runtime.- A Native Versioning Concept to Support Historized Models at Runtime.- Modelling Adaptation Policies as Domain-Specific Constraints.- Scalable Armies of Model Clones through Data Sharing.- Feature and Variability Modeling.- Three Cases of Feature-Based Variability Modeling in Industry.- Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.- Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process.- Composition and Adaptation.- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.- Model-Integrating Software Components.- Practices and Experience.- Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain.- Model Driven Grant Proposal Engineering.- Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study.- Modeling for Analysis.- Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.- Resolution of Interfering Product Fragments in Software Product Line Engineering.- Ontology-Based Modeling of Context-Aware Systems.- Pragmatics.- Comprehending Feature Models Expressed in CVL.- On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters.- Enabling the Development of Cognitive Effective Visual DSLs.- Model Extraction, Manipulation and Persistence.- JUMP-From Java Annotations to UML Profiles.- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.- A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence.- Model Transformation 2.- Automated Chaining of Model Transformations with Incompatible Metamodels.- Classification of Model Transformation Tools: Pattern Matching Techniques.- Learning Implicit and Explicit Control in Model Transformations by Example.- Querying and Reasoning IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.- Translating OCL to Graph Patterns.
Название: Model-Driven Engineering of Information Systems ISBN: 177188083X ISBN-13(EAN): 9781771880831 Издательство: Taylor&Francis Рейтинг: Цена: 19140.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This title includes a number of Open Access chapters.
Model-driven engineering (MDE) is the automatic production of software from simplified models of structure and functionality. It mainly involves the automation of the routine and technologically complex programming tasks, thus allowing developers to focus on the true value-adding functionality that the system needs to deliver. This book serves an overview of some of the core topics in MDE. The volume is broken into two sections offering a selection of papers that helps the reader not only understand the MDE principles and techniques, but also learn from practical examples. Also covered are the following topics:
- MDE for software product lines
- Formal methods for model transformation correctness
- Metamodeling with Eclipse eCore
- Metamodeling with UML profiles
- Test cases generation
This easily accessible reference volume offers a comprehensive guide to this rapidly expanding field. Edited by experienced writers with experience in both research and the practice of software engineering, Model-Driven Engineering of Information Systems: Principles, Techniques and Practice is an authoritative and easy-to-use reference, ideal for both researchers in the field and students who wish to gain an overview to this important field of study.
Автор: Leach Название: Introduction to Software Engineering, Second Edition ISBN: 1498705278 ISBN-13(EAN): 9781498705271 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Описание: This book introduces condition-based maintenance (CBM)/data-driven prognostics and health management (PHM) in detail, first explaining the PHM design approach from a systems engineering perspective, then summarizing and elaborating on the data-driven methodology for feature construction, as well as feature-based fault diagnosis and prognosis. The book includes a wealth of illustrations and tables to help explain the algorithms, as well as practical examples showing how to use this tool to solve situations for which analytic solutions are poorly suited. It equips readers to apply the concepts discussed in order to analyze and solve a variety of problems in PHM system design, feature construction, fault diagnosis and prognosis.
Автор: Dori Название: Model-Based Systems Engineering with OPM and SysML ISBN: 1493932942 ISBN-13(EAN): 9781493932948 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain-independent, discipline-crossing methodology of developing or researching complex systems of any conceivable kind and size. Combining theory with a host of industrial, biological, and daily life examples, the book explains principles and provides guidelines for architecting complex, multidisciplinary systems, making it an indispensable resource for systems architects and designers, engineers of any discipline, executives at all levels, project managers, IT professional, systems scientists, and engineering students.
Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man Название: Model-Based Engineering of Embedded Systems ISBN: 3642439926 ISBN-13(EAN): 9783642439926 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Andy Sch?rr; Bran V. Selic Название: Model Driven Engineering Languages and Systems ISBN: 3642044247 ISBN-13(EAN): 9783642044243 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Wang Название: Programming Languages for MIS ISBN: 1482222663 ISBN-13(EAN): 9781482222661 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Programming Languages for MIS: Concepts and Practice supplies a synopsis of the major computer programming languages, including C++, HTML, JavaScript, CSS, VB.NET, C#.NET, ASP.NET, PHP (with MySQL), XML (with XSLT, DTD, and XML Schema), and SQL. Ideal for undergraduate students in IS and IT programs, this textbook and its previous versions have been used in the authors' classes for the past 15 years.
Focused on web application development, the book considers client-side computing, server-side computing, and database applications. It emphasizes programming techniques, including structured programming, object-oriented programming, client-side programming, server-side programming, and graphical user interface.
Introduces the basics of computer languages along with the key characteristics of all procedural computer languages
Covers C++ and the fundamental concepts of the two programming paradigms: function-oriented and object-oriented
Considers HTML, JavaScript, and CSS for web page development
Presents VB.NET for graphical user interface development
Introduces PHP, a popular open source programming language, and explains the use of the MySQL database in PHP
Discusses XML and its companion languages, including XSTL, DTD, and XML Schema
With this book, students learn the concepts shared by all computer languages as well as the unique features of each language. This self-contained text includes exercise questions, project requirements, report formats, and operational manuals of programming environments. A test bank and answers to exercise questions are also available upon qualified course adoption.
This book supplies professors with the opportunity to structure a course consisting of two distinct modules: the teaching module and the project module. The teaching module supplies an overview of representative computer languages. The project module provides students with the opportunity to gain hands-on experience with the various computer languages through projects.
Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
