Formal Aspects of Component Software, Kyungmin Bae; Peter Csaba ?lveczky

Автор: Brooks, Frederick P.
Название: The Mythical Man Month and Other Essays on Software Engineering
ISBN: 0201835959 ISBN-13(EAN): 9780201835953
Издательство: Pearson Education
Рейтинг:
Цена: 6928.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the 20th anniversary and first revised edition of a collection of essays on the management of computer programming projects, this work is an updated and enhanced re-release of the "Brooks classic". With the addition of 3 essays assessing the status of software project management, the authors "No Silver Bullet", is also included.

Автор: Gamma, Erich Helm, Richard Johnson, Ralph Vissides
Название: Design Patterns: Elements of Reusable Object-Oriented Software
ISBN: 0201633612 ISBN-13(EAN): 9780201633610
Издательство: Pearson Education
Рейтинг:
Цена: 9700.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents a catalog of simple solutions to commonly occurring design problems. These 23 patterns allow designers to create more reusable designs without having to rediscover the design solutions themselves. The authors begin by describing what patterns are, and how they can help you design object-oriented software.

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

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

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

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

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

Автор: Mernik Marjan
Название: Formal and Practical Aspects of Domain-Specific Languages
ISBN: 1466620927 ISBN-13(EAN): 9781466620926
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 28413.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments is a collection of academic works containing current research on all aspects of domain-specific language. This book is a comprehensive overview in the computer language field and aims to be essential for scholars and practitioners in the software engineering fields by providing new results and answers to open problems in DSL research.