Verification of Business Rules Programs

• Main Author: Berstel-Da Silva, Bruno (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Subjects: Computer science.; Computer programming.; Computer logic.; Database management.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Database Management.; Programming Techniques.

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 application...