Software Quality Assurance: From Theory to Implementation Review

Average Reviews:

(More customer reviews)Are you looking to buy Software Quality Assurance: From Theory to Implementation? Here is the right place to find the great deals. we can offer discounts of up to 90% on Software Quality Assurance: From Theory to Implementation. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Software Quality Assurance: From Theory to Implementation ReviewAlthough written as a college text (the publisher also has instructor manual, syllabus and discussion guidelines, and test material), this book sufficiently reflects real world SQA to be used by working practitioners. My review focus is on the latter use.
Chapters that will be of interest to real world SQA include Chapter 3. Software Quality Factors (excellent foundation for a metrics initiative), Chapter 5. Contract Review (checklists for proposal and contract review are excellent), Chapters 7 (Integrating Quality Activities in the Project Life Cycle - especially the model for SQA defect removal effectiveness and cost) and 8 (Reviews, which includes supporting templates), and Chapter 11. Assuring The Quality of Software Maintenance, which is an often overlooked aspect of SQA.
Note that this book has been written to support ISO 9001 and contains chapters that are specifically slanted towards that approach. Included are chapters on document and configuration control, auditing, and attaining ISO 9001 certification. The author also provides solid information on ISO/IEC Quality Assurance standards, IEEE/ANSI Standards, and MIL-STD-498, as well as on common assessment approaches (CMM and SPICE).
As a textbook the coverage of every facet of SQA from why and what, to testing, metrics and its role in organizations and projects are thoroughly covered. The fact that the material is up-to-date and truly reflects the real world makes this one of the better texts for college level courses because it does prepare students for roles as practitioners.Software Quality Assurance: From Theory to Implementation OverviewSoftware quality assurance (SQA) systems are vital for software developers in the software and the electronics industries as well as for information systems divisions in organizations.This book, based on many years ofconsulting and teaching experience, is designed to serve three audiences: students at universities and colleges, participants in vocational training courses in the industry and practitioners/professionals. Each chapter will conclude with commonly raised questions, problems, short case studies, and topics for discussion.The methodology to be presented in the book conforms with the requirements of ISO 9000 standards (ISO 9001 Quality Management and Quality Assurance Standard and of ISO 9000-3 Guidelines for the Application of ISO 9001 to the Development, Supply, Installation and Maintenance of Computer Software). The topics that will be covered will conform with the requirements of most vocational training programs (e.g.. the American Society for Quality's training program for Certified Software Quality Engineers).The book is designed to include in its appendices a collection of useful templates and checklists containing items of great interest to practitioners and students, and is accompaniedby an Instructor's Solutions Manual and PowerPoint Slides.

Want to learn more information about Software Quality Assurance: From Theory to Implementation?

>> Click Here to See All Customer Reviews & Ratings Now

Read More...

Types and Programming Languages Review

Average Reviews:

(More customer reviews)Are you looking to buy Types and Programming Languages? Here is the right place to find the great deals. we can offer discounts of up to 90% on Types and Programming Languages. Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Types and Programming Languages ReviewThis text is perhaps the most accessible yet thorough introduction to type systems I've encountered.
On the one hand, it offers excellent grounding: practical motivation is provided, numerous examples illustrate the concepts, and implementations are provided which can be used to typecheck and evaluate these examples. At various points, extended demonstrations of the type systems under consideration are given (e.g. showing how objects may be encoded). The exercises are well constructed and in many cases, accompanied with answers and detailed explanations in the appendix.
On the other hand, it offers an excellent exposition of the material: Pierce provides a lucid account of the static and dynamic semantics (primarily small-step operational) for various lambda calculi. He proceeds in a stepwise fashion via the gradual accretion of features: from first order (simply typed) systems to higher order systems incorporating bounded subtyping and recursion. He also gives attention to the metatheory of these systems (focusing on proofs of progress and preservation, and for systems with subtyping, of decideability). Internally, the text is well organized, with clear dependencies among the chapters, and the bibliography is extensive.
It should be noted that, while reasonably comprehensive, the text is necessarily limited in scope. For example, aside from the discussion on Featherweight Java, systems other than typed lambda calculus variants are not considered. In my opinion, the focus on these (in some sense "low-level") calculi makes foundational issues more apparent, and the linear progression from simple to complex variants lends a pleasant cohesiveness that would have been lost in a more general survey. However, as object/class encodings were discussed at various points, it would have been nice to see a more integrated presentation, in the spirit of the paper Comparing Object Encodings [BCP97].Types and Programming Languages OverviewA type system is a syntactic method for automatically checking theabsence of certain erroneous behaviors by classifying program phrases according tothe kinds of values they compute. The study of type systems--and of programminglanguages from a type-theoretic perspective -- -has important applications insoftware engineering, language design, high-performance compilers, and security.Thistext provides a comprehensive introduction both to type systems in computer scienceand to the basic theory of programming languages. The approach is pragmatic andoperational; each new concept is motivated by programming examples and the moretheoretical sections are driven by the needs of implementations. Each chapter isaccompanied by numerous exercises and solutions, as well as a runningimplementation, available via the Web. Dependencies between chapters are explicitlyidentified, allowing readers to choose a variety of paths through the material.Thecore topics include the untyped lambda-calculus, simple type systems, typereconstruction, universal and existential polymorphism, subtyping, boundedquantification, recursive types, kinds, and type operators. Extended case studiesdevelop a variety of approaches to modeling the features of object-orientedlanguages.

Want to learn more information about Types and Programming Languages?

>> Click Here to See All Customer Reviews & Ratings Now

Read More...