The Disc Shop





The Disc Shop

Computer Talk - Business Computer - Computer Games - Computer Software

Computer Shop - Computer Mice - New Computer - Antivirus Software






Specifying Software

RRP $110.00

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

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.


A Practical Introduction To Hardware/software Codesign

RRP $326.99

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

This textbook serves as an introduction to the subject of embedded systems design, with emphasis on integration of custom hardware components with software. The key problem addressed in the book is the following: how can an embedded systems designer strike a balance between flexibility and efficiency? The book describes how combining hardware design with software design leads to a solution to this important computer engineering problem. The book covers four topics in hardware/software codesign: fundamentals, the design space of custom architectures, the hardware/software interface and application examples. The book comes with an associated design environment that helps the reader to perform experiments in hardware/software codesign. Each chapter also includes exercises and further reading suggestions. Improvements in this second edition include labs and examples using modern FPGA environments from Xilinx and Altera, which will make the material in this book applicable to a greater number of courses where these tools are already in use. More examples and exercises have been added throughout the book. "If I were teaching a course on this subject, I would use this as a resource and text. If I were a student who wanted to learn codesign, I would look for a course that at least used a similar approach. If I were an engineer or engineering manager who wanted to learn more about codesign from a very practical perspective, I would read this book first before any other. When I first started learning about codesign as a practitioner, a book like this would have been the perfect introduction." --Grant Martin, Tensilica--


Intellectual Property In Electronics And Software

RRP $368.99

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

The software, communications and electronics markets are among the most innovative and competitive industries in the world. Robust competition means that developers and manufacturers of software, mobile phones, gaming devices, computers, digital cameras and other consumer electronics and appliances must leverage their IP rights to sustain competitive advantage. However, this can be difficult, as much innovation takes place at the intersection of patent, design and copyright law; and although much law is harmonised, there are still significant national variations both in law and in practice. Intellectual Property in Electronics and Software is a new title designed to provide practical guidance on the IP issues affecting companies working in this area. A unique compendium, it addresses the key issues of IP law in the major jurisdictions worldwide where software and electronics are developed and sold as they impact on software and electronics companies. Topics covered include the challenges of obtaining protection; software protection and the limits of patentability; patent strategy, including approaches to patent drafting to maximise protection; standards setting and reasonable and non-discriminatory licensing; open source software; and other forms of protection such as unfair competition and design rights. Written by a team of leading specialists in IP law, the book will serve as an invaluable guide to navigating the complex and overlapping rights which protect innovation in this field.


Performance And Reliability Analysis Of Computer Systems

RRP $491.99

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

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package provides a variety of probabilistic, discrete-state models used to assess the reliability and performance of computer and communication systems. The models included are combinatorial reliability models (reliability block diagrams, fault trees and reliability graphs), directed, acyclic task precedence graphs, Markov and semi-Markov models (including Markov reward models), product-form queueing networks and generalized stochastic Petri nets. A practical approach to system modeling is followed; all of the examples described are solved and analyzed using the SHARPE tool.
In structuring the book, the authors have been careful to provide the reader with a methodological approach to analytical modeling techniques. These techniques are not seen as alternatives but rather as an integral part of a single process of assessment which, by hierarchically combining results from different kinds of models, makes it possible to use state-space methods for those parts of a system that require them and non-state-space methods for the more well-behaved parts of the system.
The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. All the models described in the book are specified and solved using the SHARPE language; its syntax is described and the source code of almost all the examples discussed is provided.
Audience: Suitable for use in advanced level courses covering reliability and performance of computer and communications systems and by researchers and practicing engineers whose work involves modeling of system performance and reliability.


Practical Software Testing

RRP $340.99

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

Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern methods and tools of software testing and quality assurance. Based on the needs of software professionals, "Practical Software Testing" takes a unique approach to teaching readers how to effectively plan for testing, design test cases, test at multiple levels, organize a testing team, and optimize use of testing tools. It introduces testing concepts that are managerial-, technical-, and process-oriented, using the Testing Maturity Model (TMM) as a framework. Features: *includes a sample test plan, comprehensive exercises, and definitions for software testing and quality *introduces both technical and managerial aspects of testing in a clear and precise style, for integrated learning *balanced perspective and comprehensive view of all testing aspects *uses the TMM framework to introduce testing in a systematic, evolutionary way, and describes industrial TMM applications *covers testing topics with either procedurally based or object-oriented programming code With its accessible, practical, and well-focused framework, this new resource provides an integrated presentation of software-testing processes and practices. Professionals and practitioners in software testing, software quality assurance, or software validation and verification will benefit greatly from using this essential resource.



Search

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