The Disc Shop
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.
Among the first casebooks in the field, Software and Internet Law presents clear and incisive writing, milestone cases and legislation, and questions and problems that reflect the authors' extensive knowledge and classroom experience. Technical terms are defined in context to make the text accessible for students and professors with minimal background in technology, the software industry, or the Internet.
Always ahead of the curve, the Fourth Edition adds coverage and commentary on developing law, such as the Digital Millennium Copyright Act's Safe Harbor, the Electronic Communications Privacy Act, and the Stored Communications Act.
Hard-wired features of Software and Internet Law include:
The Fourth Edition responds to this fast-changing field with coverage of :
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.
First Published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.
The fundamental values central to the Messier/Glover/Prawitt text include: student engagement, a systematic approach, and decision making. Student Engagement: The authors believe students are best served by acquiring a strong understanding of the basic concepts that underlie the audit process and how to apply those concepts to various audit and assurance services. The text is accessible to students through straightforward writing and the use of engaging, relevant real-world examples, illustrations, and analogies. The text explicitly encourages students to 'stop and think' at important points in the text to help them apply principles covered and also helps students see the application of concepts in a practical setting through 'practice insight' boxes. A Systematic Approach: The authors first introduce the three underlying concepts of audit risk, materiality, and evidence, then follow with a discussion of audit planning, the assessment of control risk, and a discussion of the nature, timing, and extent of evidence necessary to reach the appropriate level of detection risk. These concepts are then applied to each major business process and related account balances using a risk-based approach, (in following with the new standards adopted by the various auditing boards). Decision Making: Since much of auditing practice involves the application of auditor judgment, the authors focus on critical judgments and decision-making processes. If a student understands these basic concepts and how to apply them to an audit engagement, he or she will be more effective in today's dynamic audit environment. The new edition even includes a full advanced module on Professional Judgment.
The Disc Shop Articles
The Disc Shop Books
The Disc Shop