Search Results: 'automated reasoning'

Search

×
×
×
×
14 results for "automated reasoning"
Automated Functional Testing for Java-Swing By David Harrison
Paperback: $54.45
Prints 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
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
Prints in 3-5 business days
(1 Ratings)
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
Prints 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
Prints in 3-5 business days
(1 Ratings)
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%
Prints 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
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
Payroll Fraud Detection and Prevention Audit Expert System By Titus Oniyilo
eBook (ePub): $5.90
(1 Ratings)
The book is written with the objective of automating the audit decision in detecting variations or exceptional data between the current and preceding or penultimate month in payroll processing, using... More > an Expert System. The book begins in Chapter one with an introduction. Chapter two is a review of the expert system theory and empirical literature on its use in business applications while Chapter three presents the methodology of research. Chapter Four dwells on the design and development of the expert system software for payroll audit. Finally, Chapter Five concludes with a summary and recommendations. The payroll audit decision expert system is therefore highly commended to end-users such as internal or external auditors, accountants, fraud examiners, risk consultants and enthusiastic readers seeking to detect and prevent Payroll fraud through an Expert System. The book is also written for the consumption of interested Expert System researchers.< Less
Over 40, Over Educated, and Underemployed By Offie Wortham, PhD
Paperback: $18.49
Prints 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
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