Model-Driven Dependability Assessment of Software Systems, Simona Bernardi; Jos? Merseguer; Dorina Corina Pet
Название: Open Systems Dependability ISBN: 1498736289 ISBN-13(EAN): 9781498736282 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users’ requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders’ agreement and accountability achievement for business/service continuity than in elemental technologies.
Описание: Model-Driven Software Development (MDSD) is currently a highly regarded development paradigm among developers and researchers. With the advent of OMG`s MDA and Microsoft`s Software Factories, the MDSD approach has moved to the centre of the programmer`s attention, becoming the focus of conferences such as OOPSLA, JAOO and OOP.
Автор: Ferhat Khendek; Maria Toeroe; Abdelouahed Gherbi; Название: SDL 2013: Model Driven Dependability Engineering ISBN: 3642389104 ISBN-13(EAN): 9783642389108 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. domain specific languages; specification and description language and evolution.
Автор: Ajit Kumar Verma; Srividya Ajit; Manoj Kumar Название: Dependability of Networked Computer-based Systems ISBN: 1447126939 ISBN-13(EAN): 9781447126935 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.
Автор: F.J. Redmill Название: Dependability of Critical Computer Systems ISBN: 1851663819 ISBN-13(EAN): 9781851663811 Издательство: Springer Рейтинг: Цена: 34380.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: P.G. Bishop Название: Dependability of Critical Computer Systems ISBN: 1851665447 ISBN-13(EAN): 9781851665440 Издательство: Springer Рейтинг: Цена: 28929.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best suited approaches for practical system dependability modeling and calculation, (1) the minimal cut approach, (2) the Markov process approach, and (3) the Markov minimal cut approach as a combination of (1) and (2) are described in detail and applied to several examples.
Автор: George Spanoudakis; Spyros Kokolakis Название: Security and Dependability for Ambient Intelligence ISBN: 1441947000 ISBN-13(EAN): 9781441947000 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details the SERENITY approach towards providing security and dependability solutions for dynamic, highly-distributed and heterogeneous systems. It covers the foundations of ambient systems and includes case studies.
Автор: Jean-Claude Laprie Название: Dependability: Basic Concepts and Terminology ISBN: 3709191726 ISBN-13(EAN): 9783709191729 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
