Verification of Business Rules Programs

Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in application...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Berstel-Da Silva, Bruno (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Computer science.
Artificial intelligence.
Database management.
Computer programming.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Database Management.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Chap. 1 - Introduction
  • Chap. 2 - Related Work
  • Chap. 3 - Syntax of Rules and Rule Programs
  • Chap. 4 - States and State Assertions
  • Chap. 5 - Operational Semantics of Rule Programs
  • Chap. 6 - Correctness of Rule Programs
  • Chap. 7 - Correctness of Programs: A Comparison
  • Chap. 8 - Main Steps in Rule Program Verification
  • Chap. 9 - A Verification Method for Rule Programs
  • Chap. 10 - Specialized Proof Rules
  • Chap. 11 - Conclusion
  • Appendix A - Verification in an Industrial Business Rules Management System
  • List of Proof Rules
  • Index.                                .

Ejemplares similares