Silva, Bruno Berstel-Da
Verification of Business Rules Programs
Part I. Context
1. Introduction
Bruno Berstel-Da Silva
2. Related Work
Bruno Berstel-Da Silva
Part II. Rule Programs
3. Syntax of Rules and Rule Programs
Bruno Berstel-Da Silva
4. States and State Assertions
Bruno Berstel-Da Silva
5. Operational Semantics of Rule Programs
Bruno Berstel-Da Silva
Part III. A Hoare Logic for Rule Programs
6. Correctness of Rule Programs
Bruno Berstel-Da Silva
7. Correctness of Programs: A Comparison
Bruno Berstel-Da Silva
Part IV. Proof Rules for Rule Programs
8. Main Steps in Rule Program Verification
Bruno Berstel-Da Silva
9. A Verification Method for Rule Programs
Bruno Berstel-Da Silva
10. Specialized Proof Rules
Bruno Berstel-Da Silva
11. Conclusion
Bruno Berstel-Da Silva
Nyckelord: Computer Science, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Database Management, Programming Techniques
- Författare
- Silva, Bruno Berstel-Da
- Utgivare
- Springer
- Utgivningsår
- 2014
- Språk
- en
- Utgåva
- 2014
- Sidantal
- 17 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783642400384