Formal Aspects of Component Software, Corina S Pasareanu; Gwen Sala?n

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

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

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

Автор: Heinz G. Schmidt; Ivica Crnkovic; George T. Heinem
Название: Component-Based Software Engineering
ISBN: 354073550X ISBN-13(EAN): 9783540735502
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007, held in Medford, MA, USA in July 2007. This work contains papers that are organized in topical sections on component-based architectures and change, quality of service and runtime verification and monitoring.

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

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

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

Автор: Jell
Название: Component-Based Software Engineering
ISBN: 0521648211 ISBN-13(EAN): 9780521648219
Издательство: Cambridge Academ
Рейтинг:
Цена: 67570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume offers topical sections on aspects, generative approaches, language composition, component-oriented language idioms, and domain analysis and component-based development.