Formal Aspects of Component Software, Jos? Proen?a; Markus Lumpe

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

Описание: This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions.

Автор: 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.

Автор: Olga Kouchnarenko; Ramtin Khosravi
Название: Formal Aspects of Component Software
ISBN: 3319576658 ISBN-13(EAN): 9783319576657
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: 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.

Автор: 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.

Автор: 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;

Автор: Grace A. Lewis; Iman Poernomo; Christine Hofmeiste
Название: Component-Based Software Engineering
ISBN: 3642024130 ISBN-13(EAN): 9783642024139
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology.

Автор: Jell
Название: Component-Based Software Engineering
ISBN: 0521648211 ISBN-13(EAN): 9780521648219
Издательство: Cambridge Academ
Рейтинг:
Цена: 10136.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, first published in 1997, covers the most important topics in ComponentWare (TM) technology, based in large part on the first Component Users Conference. It addresses such issues as componentware platforms, component design and architecture, distributed object computing, componentware languages, patterns and frameworks, interoperability, and debugging and testing.

Автор: Krzysztof Czarnecki; Ulrich W. Eisenecker
Название: Generative and Component-Based Software Engineering
ISBN: 3540411720 ISBN-13(EAN): 9783540411727
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume offers topical sections on aspects, generative approaches, language composition, component-oriented language idioms, and domain analysis and component-based development.

Автор: 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.