Electronic Books

Total Books: 1381 - 1400 /1601

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...

Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...

This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a ...

The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...

Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...

volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...

The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...

"Software Engineering for Experimental Robotics" collects contributions that describe the state of the art in software ...

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...

This book focus on novel trends in software evolution research and its relations with other emerging disciplines such as ...

This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International ...

Constitutes the refereed proceeding of the 12th European Software Process Improvement Conference, EuroSPI 2005, held in Budapest, ...

This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...

This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, ...

The book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...

Total Books: 1381 - 1400 /1601