Supercomputers: Directions in Technology and Applications

EBook Description: Supercomputers: Directions in Technology and Applications

David Boschmans, Project Manager at Compuware This book learns any developer how to apply the skills in Agile Development. Recommended reading for any software developer! Rachid Buamar, Institute of Computer Science III, University of Bonn, Germany. I am pretty impressed of the first three chapters. I will recommend it to my students and my project members.

Software Testing Fundamentals : Methods and Metrics

This book is accessible only from Russia

Adaptive Object-Oriented Software

This groundbreaking book presents a complete methodology for adaptive programming in any object-oriented language. Lieberherr's method provides a new approach to object-oriented program design that goes beyond object encapsulation and hard-coded navigation paths to achieve more flexible interactions among objects. Designers using this adaptive method work at a higher, more schematic level of abstraction to design software programs. Graph notation is used to represent the class structure of the program, and a 'propagation pattern' language describes how to distribute meaningful methods (including navigation) across the program's structure. Using this method, software designers can create programs that are easily modified and adaptable as needs evolve.

Programming in Martin-Lof's Type Theory

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

Software Development Guidelines

Software Development Guidelines

Power Tools for Technical Communication

Grounded in authentic workplace scenarios, the step-by-step approach of POWER TOOLS FOR TECHNICAL COMMUNICATION prepares students for real world communication and workplace problem solving.

Open Source Development with CVS, 3rd Edition

The popular first edition was one of the first books available on development and implementation of open source software using CVS. Examining how CVS affects the architecture and design of applications, this third edition has been enhanced with more value-added material covering strategies, third-party tools, scalability, client access limits, and overall server administration for CVS.

OpenSources: Voices from the Open Source Revolution

that is its namesake. Filled with writings from the central players--from Linux creator Linus Torvalds to Perl creator Larry Wall--the book convinces the reader of the overwhelming merits of freeing up the many iterations of software's source code. The open-source movement has become a cause c�l�bre in light of the widespread adoption of Linux, Perl, and Apache as well as its corporate support from Netscape, IBM, and Oracle--and strongly felt opposition from Microsoft. Open Sources doesn't address why these Microsoft foes are throwing their weight behind the movement. Instead, it focuses on the history and philosophy of open-source software (previously referred to as freeware) as an argument for shaping the future of programming. Open Sources is much larger than just a fight with any one company. Instead, it is a revolutionary call to release software development from the vested interests that label new directions in software development as threatening.

How to Design Programs: An Introduction to Programming and Computing

This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills--critical reading, analytical thinking, creative synthesis, and attention to detail--that are important for everyone, not just future computer programmers. The book exposes readers to two fundamentally new ideas. First, it presents program design guidelines that show the reader how to analyze a problem statement; how to formulate concise goals; how to make up examples; how to develop an outline of the solution, based on the analysis; how to finish the program; and how to test. Each step produces a well-defined intermediate product. Second, the book comes with a novel programming environment, the first one explicitly designed for beginners. The environment grows with the readers as they master the material in the book until it supports a full-fledged language for the whole spectrum of programming tasks.

Using Z: Specification, Refinement, and Proof

This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.

• Free IAS eBooks
• Free GRE eBooks
• Free MBA eBooks
• Free GATE eBooks