This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Continue reading
                Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Continue reading
                volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Continue reading
                Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Continue reading
                The aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...
Continue reading
                "This book constitutes the proceedings of thethe International Conference on Software Engineering (ICSE 2005) by leading ...
Continue reading
                This book constitutes the proceedings of the2nd ACIS International Conference on Software Engineering – Research, Management ...
Continue reading
                The book is divided in two parts: The first part presents concepts of the object-oriented paradigm and the UML notation of ...
Continue reading
                The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
                This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science ...
Continue reading
                This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue reading
                Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Continue reading
                This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Continue reading
                With the integration of computing and communication into the very fabric of our social, economic, and personal existence, ...
Continue reading
                Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Continue reading
                Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...
Continue reading
                This book focus on novel trends in software evolution research and its relations with other emerging disciplines such as ...
Continue reading
                In this volume, Ebert and Dumke provide a comprehensive introduction to software measurement. They detail knowledge and experiences ...
Continue reading
                This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International ...
Continue reading
                This volume contains papers presented at the International Conference on Software Process (ICSP 2007) held in Minneapolis, ...
Continue reading