The Disc Shop

Computer Talk - Business Computer - Computer Games - Computer Software

Computer Shop - Computer Mice - New Computer - Antivirus Software

Domain Modeling-based Software Engineering

RRP $110.00

Click on the Google Preview image above to read some pages of this book!

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.
No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach.
The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. Domain Modeling- Based Software Engineering: A Formal Approach explores the results of this research.
Domain Modeling-Based Software Engineering: A Formal Approach will be useful to researchers of knowledge-based software engineering, students and instructors of computer science, and software engineers who are working on large-scale projects of software development and want to use knowledge-based development methods in their work.

Composing Software Components

RRP $407.99

Click on the Google Preview image above to read some pages of this book!

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.

Decision-aiding Software And Legal Decision-making

RRP $256.99

Click on the Google Preview image above to read some pages of this book!

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.

Computer Systems

RRP $463.99

Click on the Google Preview image above to read some pages of this book!

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.

Used books, rentals, and purchases made outside of Pearson
If purchasing or renting from companies other than Pearson, the access codes for Pearson's MyLab & Mastering products may not be included, may be incorrect, or may be previously redeemed. Check with the seller before completing your purchase.

For courses in Computer Organization and Architecture
This package includes MasteringEngineering®

Computer systems: A Programmer's Perspective explains the underlying elements common among all computer systems and how they affect general application performance. Written from the programmer's perspective, this book strives to teach readers how understanding basic elements of computer systems and executing real practice can lead them to create better programs.

Spanning across computer science themes such as hardware architecture, the operating system, and systems software, the Third Edition serves as a comprehensive introduction to programming. This book strives to create programmers who understand all elements of computer systems and will be able to engage in any application of the field--from fixing faulty software, to writing more capable programs, to avoiding common flaws. It lays the groundwork for readers to delve into more intensive topics such as computer architecture, embedded systems, and cyber security.

This book focuses on systems that execute an x86-64 machine code, and recommends that programmers have access to a Linux system for this course. Programmers should have basic familiarity with C or C++.

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

Software Reliability Methods

RRP $110.00

Click on the Google Preview image above to read some pages of this book!

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

Computer Talk Business Computer Computer Games Computer Software
Computer Shop Computer Mice New Computer Antivirus Software
Computer Consulting Home Computer

The Disc Shop Books

Computer Talk Business Computer Computer Games Computer Software
Computer Shop Computer Mice New Computer Antivirus Software
Computer Consulting Home Computer

The Disc Shop

domain for sale