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
Avainsanat: Computer Science, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Database Management, Programming Techniques
- Tekijä(t)
- Silva, Bruno Berstel-Da
- Julkaisija
- Springer
- Julkaisuvuosi
- 2014
- Kieli
- en
- Painos
- 2014
- Sivumäärä
- 17 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783642400384