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...
Published in: | Springer eBooks |
---|---|
Main Author: | Berstel-Da Silva, Bruno (Author) |
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2014.
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-642-40038-4 Перейти в каталог НБ ТГУ |
Similar Items
-
Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
Published: (2014) -
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
Published: (2013) -
A General Framework for Reasoning On Inconsistency
by: Martinez, Maria Vanina, et al.
Published: (2013) -
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
by: Puebla, Germán
Published: (2007) -
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
by: Hutchison, David
Published: (2008)