Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research.
Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By restricting attentionto the simplest cases, startling results are obtained:
. Components are tested using only executable code. Their behavior is recorded and presented graphically.
. Functional and non-functional behavior of systems synthesized from components are calculated from component tests alone. No access to components themselves is required.
. Fast, accurate tools support every aspect of CBSD from design through debugging.
Case studies of CBSD also illuminate software testing in general, particularly an expanded role for unit testing and the treatment of non-functional software properties.
This unique book:
. Contains more than a dozen case studies of fully worked-out component synthesis, with revealing insights into fundamental testing issues.
. Presents an original, fundamental theory of component composition that includes persistent state and concurrency, based on functional software testing rather than proof-of-programs.
. Comes with free supporting software with tutorial examples and data for replication of examples. The Perl software has been tested on Linux, Macintosh, and Windows platforms. Full documentation is provided.
. Includes anecdotes and insights from the author's 50-year career in computing as systems programmer, manager, researcher, and teacher.
Composing Software Components: A Software-testing Perspective will help software researchers and practitioners to understand the underlying principles of component testing. Advanced students in computer science, engineering, and mathematics can also benefit from the book as a supplemental text and reference.
The use of microcomputers as decision aids in law practice is increasing rapidly. Nagel here shows how developments in software over the last few years are making microcomputers practically indispensable to lawyers as decision aids. This is in contrast to his earlier book on Microcomputers as Decision Aids in Law Practice. It dealt speculatively with ways in which decision-aiding software could be used by lawyers for judicial prediction, litigation strategy, allocating scarce resources, and negotiation-mediation. The book is divided into three parts covering general developments, specific lawyer skills, and application to all fields of law. The first part previews various uses of decision-aiding software by practicing lawyers, including a general discussion of the potential and actual benefits of such software. How decision-aiding software enhances specific lawyer skills comprises the second and largest part of the work. Among the topics discussed are computer-aided counseling, computer-aided mediation, legal policy evaluation and computer-aided advocacy, law prediction, and legal administration. In the third part, Nagel assesses applications of decision-aiding software to all fields of law, with an emphasis on contracts, property, torts, family law, criminal law, constitutional law, economic regulation, international law, civil procedure, and criminal procedure. In a provocative concluding chapter, he deals with the thorny issues of individual ethics and professional responsibility in the context of microcomputers. Because decision-aiding software encourages decision makers to be much more explicit about their goals than they otherwise would be, its use raises questions as to whose goals should be pursued and to what degree. This is a nuts-and-bolts guidebook that will be a valuable tool for practicing attorneys with some knowledge of microcomputers and is recommended reading for legal scholars and law students.
NOTE: Before purchasing, check with your instructor to ensure you select the correct ISBN. Several versions of Pearson's MyLab & Mastering products exist for each title, and registrations are not transferable. To register for and use Pearson's MyLab & Mastering products, you may also need a Course ID, which your instructor will provide.
Personalize Learning with MasteringEngineering
MasteringEngineering is an online homework, tutorial, and assessment system, designed to improve results through personalized learning. This innovative online program emulates the instructor's office hour environment, engaging and guiding students through engineering concepts with self-paced individualized coaching With a wide range of activities available, students can actively learn, understand, and retain even the most difficult concepts.
0134123832/9780134123837 Computer Systems: A Programmer's Perspective plus MasteringEngineering with Pearson eText - Access Card Package, 3/e
Package consists of:
013409266X/9780134092669 Computer Systems: A Programmer's Perspective, 3/e
0134071921/9780134071923 MasteringEngineering with Pearson eText -- Standalone Access Card -- for Computer Systems: A Programmer's Perspective, 3/e
This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.
The Disc Shop Articles
The Disc Shop Books