Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
