Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology, Pohl Klaus, Broy Manfred, Daembkes Heinrich

Автор: Randall S. Janka
Название: Specification and Design Methodology for Real-Time Embedded Systems
ISBN: 1461352630 ISBN-13(EAN): 9781461352631
Издательство: Springer
Рейтинг:
Цена: 14635.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.

Автор: Dietmar Winkler; Stefan Biffl; Johannes Bergsmann
Название: Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
ISBN: 3319036017 ISBN-13(EAN): 9783319036014
Издательство: Springer
Рейтинг:
Цена: 5611.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).

Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man
Название: Model-Based Engineering of Embedded Systems
ISBN: 3642439926 ISBN-13(EAN): 9783642439926
Издательство: Springer
Рейтинг:
Цена: 7317.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.

Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man
Название: Model-Based Engineering of Embedded Systems
ISBN: 3642346138 ISBN-13(EAN): 9783642346132
Издательство: Springer
Рейтинг:
Цена: 6097.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.

Автор: Angel P. del Pobil; Jose Mira; Ali Moonis
Название: Methodology and Tools in Knowledge-Based Systems
ISBN: 3540645829 ISBN-13(EAN): 9783540645825
Издательство: Springer
Рейтинг:
Цена: 14635.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.The two volumes present a total of 187 revised full papers selected from 291 submissions.