Login

Silva, Bruno Berstel-Da

Verification of Business Rules Programs

Silva, Bruno Berstel-Da - Verification of Business Rules Programs, ebook

114,40€

Ebook, PDF with Adobe DRM
ISBN: 9783642400384
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: Computer Science, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Database Management, Programming Techniques

Author(s)
Publisher
Springer
Publication year
2014
Language
en
Edition
2014
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642400384

Similar titles