This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
Lire la suite
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suite
This volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Lire la suite
CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
Lire la suite
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...
Lire la suite
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last ...
Lire la suite
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suite
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suite
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lire la suite
Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...
Lire la suite
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Lire la suite
Written for Java developers of varying skill and familiarity with the open-source NetBeans IDE as well as Java IDEs in general, ...
Lire la suite
The papers address different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, ...
Lire la suite
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lire la suite
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Lire la suite
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Lire la suite