Verification of Business Rules Programs

• Κύριος συγγραφέας: Berstel-Da Silva, Bruno (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Θέματα: 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...