Verification of Business Rules Programs
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...
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Chap. 1 - Introduction
- Chap. 2 - Related Work
- Chap. 3 - Syntax of Rules and Rule Programs
- Chap. 4 - States and State Assertions
- Chap. 5 - Operational Semantics of Rule Programs
- Chap. 6 - Correctness of Rule Programs
- Chap. 7 - Correctness of Programs: A Comparison
- Chap. 8 - Main Steps in Rule Program Verification
- Chap. 9 - A Verification Method for Rule Programs
- Chap. 10 - Specialized Proof Rules
- Chap. 11 - Conclusion
- Appendix A - Verification in an Industrial Business Rules Management System
- List of Proof Rules
- Index. .