Logga in

Silva, Bruno Berstel-Da

Verification of Business Rules Programs

Silva, Bruno Berstel-Da - Verification of Business Rules Programs, e-bok

101,45€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783642400384
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
Utgivare
Springer
Utgivningsår
2014
Språk
en
Utgåva
2014
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783642400384

Liknande e-böcker