Software Engineering books

The book will be valuable for those interested in the development of programming tools and environments, as well...  Read More >>

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite...  Read More >>

Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994  Read More >>

Summary""Hadoop in Practice"" collects 85 Hadoop examples and presents them in a problem/solution format. Each technique...  Read More >>

 Read More >>

This book is a result of the Tenth International Conference on Information Systems Development (ISD2001) held at...  Read More >>

• Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to...  Read More >>

Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program...  Read More >>

 Read More >>

SOFTWARE ENGINEERING ESSENTIALS Volume 2: The Supporting Process FOURTH EDITION A multi- text software engineering...  Read More >>

SOFTWARE ENGINEERING ESSENTIALS Volume I: The Engineering Fundamentals FOURTH EDITION A multi- text software engineering...  Read More >>

Offers a collection of research papers in the area of the implementation of logic programming systems. This book...  Read More >>

2 The metadatabase as the GlobaVEnterprise Schema 142 8 THE GLOBAL QUERY SYSTEM 145 8. 2 User Interface for Query...  Read More >>

The third part of this book presents three detailed distributed application case studies and demonstrates how standard...  Read More >>

Models in System Design will help designers and researchers to understand these latest techniques in system design...  Read More >>

Developing correct and efficient software is far more complex for parallel and distributed systems than it is for...  Read More >>

The great challenge of reverse engineering is recovering design information from legacy code: the concept recovery...  Read More >>

This volume contains a selection of papers that focus on the state-of­ the-art in formal specification and verification...  Read More >>

also in: THE KLUWER INTERNATIONAL SERIES ON ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE, Volume 1  Read More >>

The idea of the workshop on Functional Integration, Theory and Applications, held in Louvain-Ia-Neuve from November...  Read More >>

A collection of papers pertaining to the automation of the software development process, and focusing on the integration...  Read More >>

Concurrent constraint programming (ccp) is a recent development in programming language design. Objects for...  Read More >>

Compiler technology is fundamental to computer science since it provides the means to implement many other tools....  Read More >>

Praxisbezogen und verständlich führt das Buch in die Grundkonzepte der Fuzzy-Mengentheorie ein. Es behandelt detailliert...  Read More >>

Database Recovery presents an in-depth discussion on all aspects of database recovery. A book on recovery is incomplete...  Read More >>