This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agents and Peer-to-Peer ...
Continue reading
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer ...
Continue reading
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Continue reading
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Continue reading
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Continue reading
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
Continue reading
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Continue reading
this book present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned ...
Continue reading
CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
Continue reading
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue reading
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Continue reading
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Continue reading
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Continue reading
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Continue reading
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Continue reading
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Continue reading
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Continue reading