Search Results: 'automated reasoning'

Search

×
×
×
×
14 results for "automated reasoning"
Automated Functional Testing for Java-Swing By David Harrison
Paperback: $54.45
Ships in 3-5 business days
This book presents a practical and concrete approach to the challenging topic of Automated Functional Testing of software, in particular for software developed using the Java-Swing framework. The... More > test automation envisaged in this work is that required for project-based Quality Assurance, a particularly challenging context due to time pressures. The test automation theme is firstly placed firmly within the overall QA activity on a typical project, prior to describing some of the usual reasons why automation fails and how the presented pattern of solution addresses these failures. Along with copious illustrations, there is a wealth of "code" that is available for download (www.dexters-defect-dungeon.com). Also included are two custom applications illustrating real test automation challenges - and solutions.< Less
Automated Functional Testing for Java-Swing By David Harrison
eBook (PDF): $37.73
Download immediately.
This book presents a practical and concrete approach to the challenging topic of Automated Functional Testing of software, in particular for software developed using the Java-Swing framework. The... More > test automation envisaged in this work is that required for project-based Quality Assurance, a particularly challenging context due to time pressures. The test automation theme is firstly placed firmly within the overall QA activity on a typical project, prior to describing some of the usual reasons why automation fails and how the presented pattern of solution addresses these failures. Along with copious illustrations, there is a wealth of "code" that is available for download (www.dexters-defect-dungeon.com). Also included are two custom applications illustrating real test automation challenges - and solutions.< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Money Funnel Marketing - The 5 Step Automated Marketing System for Generating Larger Revenues Without a Larger Business By Chris Coney
Paperback: $14.18
Ships in 3-5 business days
The number 1 reason your small business fails to deliver the profits and the lifestyle you dreamed of when you started it is a lack good marketing. Marketing generates sales, sales means money, and... More > with money you can buy your way out of almost any other problem. Even if you understand that marketing is important and put a lot of effort into it, that doesn’t necessarily translate into a consistent stream of new customers and higher profits. Without using modern technology to leverage and largely automate your marketing you’ll never have that edge. With Money Funnel MarketingTM you will.< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.39
Ships in 3-5 business days
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less
And I thought I knew QTP! - QTP Concepts Unplugged By Tarun Lalwani
Paperback: List Price: $49.99 $44.99 | You Save: 10%
Ships in 3-5 business days
(2 Ratings)
How many times have you wished that there was somebody who could clear some niggling doubts about a particular aspect of QTP? Or explain some difficult to-grasp concepts and smart workarounds? Or... More > show you some of the lesser known features of QTP? This book does just that in a gripping story that will make you turn every page in anticipation. “And I Thought I knew QTP! – QTP Concepts Unplugged” is ‘different’ in the way it seeks to explain the various concepts through an interesting and innovative story-telling style (which is rarely used for technical books). Instead of following a textbook format, this book is more like a technical novel. Whether it is to brush up your QTP concepts or simply to satiate your curiosity about how a seasoned IT veteran fared in a no-holds-barred ‘intellectual duel’ on QTP – whatever your reason to pick up this book, it is sure to leave you astounded with its pace of narration, expertise, and breadth of topics covered.< Less
Stepper motors and Servomotors By Homework Help Classof1
eBook (PDF): $1.99
Download immediately.
Motors are the special electrical devices that have been developed by the engineers for the conversion of energy from one form to another. Engineers have developed the science of motors to an extent... More > wherein they can be used for numerous applications and in several technologies. We would discuss the characteristics of two of the most commonly used types of motors, i.e. the stepper motors and the servomotors. Both these motors serve different purposes and are used and employed for different reasons and different applications based on the need and the requirement.< Less
Over 40, Over Educated, and Underemployed By Offie Wortham, PhD
Paperback: $18.49
Ships in 3-5 business days
This article/book will show that underemployment of the highly educated is one of the reasons for the much publicized declining unemployment rate; that the education system is turning out more... More > graduates than there are jobs; that modern technology and automation has helped employers eliminate thousands of qualified workers; that age discrimination is real; that downsizing and outsourcing are also a another major factor contributing toward the creation of a new subgroup in the nation, "The Affluent Poor."< Less
Over 40, Over Educated, and Underemployed By Offie Wortham, PhD
eBook (PDF): $6.49
Download immediately.
This article/book will show that underemployment of the highly educated is one of the reasons for the much publicized declining unemployment rate; that the education system is turning out more... More > graduates than there are jobs; that modern technology and automation has helped employers eliminate thousands of qualified workers; that age discrimination is real; that downsizing and outsourcing are also a another major factor contributing toward the creation of a new subgroup in the nation, "The Affluent Poor."< Less
Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications By Ruben Gamboa, Jared Davis
Paperback: $11.30
Ships in 3-5 business days
ACL2 2013 is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 2013 is the eleventh in the... More > series of ACL2 workshops, which occur approximately every 18 months. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work in ACL2 and the other theorem provers in the Boyer-Moore family.< Less