Generative and Component-Based Software Engineering, Krzysztof Czarnecki; Ulrich W. Eisenecker

Автор: Ralf L?mmel; Joost Visser; Jo?o Saraiva
Название: Generative and Transformational Techniques in Software Engineering II
ISBN: 3540886427 ISBN-13(EAN): 9783540886426
Издательство: Springer
Рейтинг:
Цена: 8239.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.

Автор: Ivan Lanese; Eric Madelaine
Название: Formal Aspects of Component Software
ISBN: 3319153161 ISBN-13(EAN): 9783319153162
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions.

Автор: Ralf L?mmel; Jo?o Saraiva; Joost Visser
Название: Generative and Transformational Techniques in Software Engineering IV
ISBN: 3642359914 ISBN-13(EAN): 9783642359910
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011.

Автор: Lars Grunske; Ralf H. Reussner; Frantisek Plasil
Название: Component-Based Software Engineering
ISBN: 3642132375 ISBN-13(EAN): 9783642132377
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th International Symposium on Component-Based Software Engineering, CBSE 2010, held in Prague, Czech Republic, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 48 submissions.

Автор: Michel R. V. Chaudron; Clemens Szyperski; Ralf H.
Название: Component-Based Software Engineering
ISBN: 3540878904 ISBN-13(EAN): 9783540878902
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008. This book organizes the papers in topical sections on performance engineering; extra-functional properties such as security and energy, and formal methods and model checking.

Автор: Franck Barbier
Название: Business Component-Based Software Engineering
ISBN: 1461354293 ISBN-13(EAN): 9781461354291
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Business Component-Based Software Engineering, an edited volume, aims to complement some other reputable books on CBSE, by stressing how components are built for large-scale applications, within dedicated development processes and for easy and direct combination.

Автор: Jos? Luiz Fiadeiro; Zhiming Liu; Jinyun Xue
Название: Formal Aspects of Component Software
ISBN: 3319076019 ISBN-13(EAN): 9783319076010
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.

Автор: Jos? Proen?a; Markus Lumpe
Название: Formal Aspects of Component Software
ISBN: 3319680331 ISBN-13(EAN): 9783319680330
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.

Автор: Farhad Arbab; Peter Csaba ?lveczky
Название: Formal Aspects of Component Software
ISBN: 3642357423 ISBN-13(EAN): 9783642357428
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Taming Distributed System Complexity through Formal Patterns.- Composing Safe Systems.- A Denotational Model for Component-Based Risk Analysis.- Synthesis of Hierarchical Systems.- A Modal Specification Theory for Components with Data.- Evaluating the Performance of Model Transformation Styles in Maude.- Interactive Transformations from Object-Oriented Models to Component-Based Models.- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.- Timed Conformance Testing for Orchestrated Service Discovery.- Realizability of Choreographies for Services Interacting Asynchronously.- Networks of Real-Time Actors: Schedulability Analysis and Coordination.- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.- The Logic of XACML.- A Proof Assistant Based Formalization of MDE Components.- Controlling an Iteration-Wise Coherence in Dataflow.- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.- Verifying Safety of Fault-Tolerant Distributed Components.- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques.- Bigraphical Modelling of Architectural Patterns.- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.- Verifying Temporal Properties of Use-Cases in Natural Language.

Автор: Corina S Pasareanu; Gwen Sala?n
Название: Formal Aspects of Component Software
ISBN: 3642358608 ISBN-13(EAN): 9783642358609
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;

Автор: Mahdi Derakhshanmanesh
Название: Model-Integrating Software Components
ISBN: 3658096454 ISBN-13(EAN): 9783658096458
Издательство: Springer
Рейтинг:
Цена: 10448.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code.

Автор: Jan Vitek
Название: Objects, Models, Components, Patterns
ISBN: 3642139523 ISBN-13(EAN): 9783642139529
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.