Software Engineering books

With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS...  Read More >>

Die Object Management Group, ein unabhängiges Gremium mit der Zielsetzung, objekt-orientierte Methoden und Techniken...  Read More >>

 Read More >>

The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop...  Read More >>

Constitutes the refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop...  Read More >>

The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract...  Read More >>

New perspective technologies of genetic search and evolution simulation represent the kernel of this book. It may...  Read More >>

The intersection between knowledge management, computer science, and health care de?nes a technological area of...  Read More >>

Successful Software Development presents a proven systematic approach to ensuring that all your software systems...  Read More >>

 Read More >>

Takes readers step by step through ways to track, merge, and manage software projects using Git, a flexible open...  Read More >>

This is a unique programming guide for the Cell Broadband Engine. It demonstrates a large number of real-life programs...  Read More >>

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language...  Read More >>

The advent of powerful processing technologies and the advances in software development tools have drastically changed...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Algorithms and Architectures...  Read More >>

This volume contains the proceedings of the 22nd International Conference on Automated Deduction (CADE-22). The...  Read More >>

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms...  Read More >>

<p>Pro (IBM) WebSphere Application Server 7 Internals covers the internal architecture and implementation of the...  Read More >>

<p>This introduction to programming and algorithms requires no prior knowledge of the subject. It covers programming...  Read More >>

<p>This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI...  Read More >>

We present computer science here as a fundamental science that, interacting with other scienti?c disciplines, changed...  Read More >>

 Read More >>

Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite...  Read More >>

A comprehensive reference for an executable UML and the advantages of modeling This book presents the most up-to-date...  Read More >>