The Development of Component-based Information Systems, Cesare

Автор: Heinz G. Schmidt; Ivica Crnkovic; George T. Heinem
Название: Component-Based Software Engineering
ISBN: 354073550X ISBN-13(EAN): 9783540735502
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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

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

Автор: Albert
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319395696 ISBN-13(EAN): 9783319395692
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.

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

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