General

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at...

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented...

This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007. The papers are organized in topical sections on enforcement, alignment, tailoring...

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first...

This volume presents the thoroughly revised proceedings of the ICSE '94 Workshop on Joint Research Issues in Software Engineering and Human-Computer Interaction, held in Sorrento, Italy in May 1994. In harmony with the main objectives of the Workshop,...

This book presents a comprehensive catalogue of elementary data types like sets, maps, orders, trees and lists, written in Ada. Such data types are often used in systems programming. The major focus is on: - a uniform syntactic and semantic interface for...

This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. The 42 revised full papers and 21 revised short papers...

The size, complexity, and integration level of software systems is increasing c- stantly. Companies in all domains identify that software de?nes the competitive edge of their products. These developments require us to constantly search for new approaches...

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This volume presents 20 revised full papers and 6 application papers together with 2 invited...

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree- ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When...

This book presents a variant of UML that is especially suitable for agile development of high-quality software. It adjusts the language UML profile, called UML/P, for optimal assistance for the design, implementation, and agile evolution to facilitate...

Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations...

"1+1=3. That is the equation that summarizes the theme of this book. The book's message is to integrate the developmental principles of Agile with the result-focused approaches integral to performance consulting. Your outcomes in shaping human...

This volume provides an overview of current work in software engineering techniques that can enhance the quality of software. The chapters of this volume, organized by key topic area, create an agenda for the IFIP Working Conference on Software...

Current middleware solutions, e.g., application servers and Web services, are very complex software products that are hard to tame because of intricacies of distributed systems. Their functionalities have mostly been developed and managed with the help...

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as...

Faster, better and cheaper are challenges that IT-companies face every day. The customer's expectations shall be met in a world where constant change in environment, organization and technology are the rule rather that the exception. A solution for...

This book reviews methods, applications and challenges of pattern analysis. Chapter One addresses the identification problem of the printed medieval documents origin. The authors of Chapter Two perform a review on current cheiloscopic techniques,...

Learn how to create good requirements when designing hardware and software systems. While this book emphasizes writing traditional “shall” statements, it also provides guidance on use case design and creating user stories in support of agile...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788183332361Author Shivprasad KoiralaFormat PaperbackImprint BPB PublicationsPublisher BPB Publications

The visual guide to developing for one of the world's hottest new mobile platforms, the Android OS The Android operating system works on phones that combine a camera, Web browser, e-mail, GPS, and mapping tool into a single accessible pocket-sized unit,...

Covers fundamental and advanced Java database programming techniques for beginning and experienced readers This book covers the practical considerations and applications in database programming using Java NetBeans IDE, JavaServer Pages, JavaServer...

An expert guide to solving real business problems using components This groundbreaking book gets developers up to speed on Enterprise JavaBeans, CORBA components, and other cutting edge technologies that are making it easier and cheaper than ever for...

Adapting Configuration Management for Agile Teams provides very tangible approaches on how Configuration Management with its practices and infrastructure can be adapted and managed in order to directly benefit agile teams. Written by Mario E. Moreira,...

LePUS3, the language of Codecharts, has proven to radically cut the costs of key tasks in software development and significantly improves the quality of software produced. This classroom-tested resource teaches this visual language through extensive...

System reliability, availability and robustness are often not well understood by system architects, engineers and developers. They often don't understand what drives customer's availability expectations, how to frame verifiable availability/robustness...

Most of the software measures currently proposed to the industry bring few real benefits to either software managers or developers. This book looks at the classical metrology concepts from science and engineering, using them as criteria to propose an...

Managing the Development of Software-Intensive Systems provides both an introduction to project management for beginner software and hardware developers as well as unique advanced materials for experienced users. This beneficial resource presents...

Changing Software Development explains why software development is an exercise in change management and organizational intelligence. An underlying belief is that change is learning and learning creates knowledge. By blending the theory of knowledge...

An in-depth review of key techniques in software error detection Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the...

A high-level introduction to new technologies andmethods in the field of software engineering Recent years have witnessed rapid evolution of software engineering methodologies, and until now, there has been no single-source introduction to emerging...

This book describes an approach to software management based on establishing an infrastructure that serves as the foundation for the project. This infrastructure defines people roles, necessary technology, and interactions between people and technology...

This book explores software's pivotal role as the code that powers computers, mobile devices, the Internet, and social media. Creating conditions for the ongoing development and use of software, including the Internet as a communications infrastructure,...

Nonfunctional Requirements in Mobile Application Development is an empirical study of how non-functional requirements get the attention of software engineers during the development of mobile apps, especially m-commerce apps, in relation to functional...

This book provides the latest research advances in the field of system reliability assurance and engineering. It contains reference material for applications of reliability in system engineering, offering a theoretical sound background with adequate...

Future requirements for computing speed, system reliability, and cost-effectiveness entail the development of alternative computers to replace the traditional von Neumann organization. As computing networks come into being, one of the latest dreams is...

Software engineering deals with the development and delivery of high-quality software to users within time and budget. New software development technologies, techniques, tools, and empirical evidence are evolving continuously as a result of ever-changing...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780818673849Author Robert ArnoldFormat PaperbackPage Count 392Imprint IEEE Publications,U.S.Publisher I.E.E.E.PressWeight(grams) 889gDimensions(mm) 308mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780818687013Author Dale Walter KarolakFormat PaperbackPage Count 174Imprint IEEE Computer Society Press,U.S.Publisher IEEE Computer Society Press,U.S...

The main objective is to provide quick and essential knowledge for the subject with the help of summary and solved questions /case studies without going into detailed discussion. This book will be much helpful for the students as a supplementary...