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
Sidantal
17 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783642400384

Liknande e-böcker