Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Verification of Business Rules Programs

Verification of Business Rules Programs (Hardback)

£71.00
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs.

The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules-thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.

Computing & ITComputer programming / software developmentComputing & ITComputer scienceArtificial intelligenceComputing & ITDatabases Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 21/12/2013 ISBN-13: 9783642400377  Details: Type: Hardback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

Dr. Bruno Berstel-Da Silva graduated in 1990 from the Ecole Nationale Superieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et des Telecommunications (ENSEEIHT) in Toulouse with an engineering degree in computer science. He completed an M.Sc. (D.E.A.) in theoretical computer science at the Universite Pierre et Marie Curie, Paris VI in 1991. He has worked for ILOG, now part of IBM, as a software engineer since 1996. He completed his PhD on the topic of Business Rules Management Systems in the Software Engineering group of the University of Freiburg. His main areas of interest are program verification, and more generally the static analysis of programs.

More books by Bruno Berstel-Da Silva

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Neural Network Driven Artificial...
(Hardback)
Bahman Zohuri; Masoud Moghaddam
 
 
£219.50
 
State Estimation for Robotics
(Hardback)
Timothy D. Barfoot
 
 
£79.99
 

Currently out of stock

The Virtual Mind: Designing the Logic...
(Paperback)
Niklas Hageback
 
 
£38.99
 
Social Networks with Rich Edge Semantics
(Hardback)
Quan Zheng; David Skillicorn
 
 
£69.99
 
Latest Blog
Blog - J R Wallis on Monsters as Metaphors
16/08/2017

J R Wallis questions the conventional view of monsters as metaphors for the worries we have about the state of the world around us.

#FoylesFive: Creative Women
14/08/2017

Meg from the Web Team tells us why she loves to learn about creative, dynamic women.

Blog - What are the Books Teachers Never Tire of Teaching?
14/08/2017

The Secret Teacher talks about the books that keep on giving year after year.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd