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