Gå direkt till innehållet
Verification of Business Rules Programs
Spara

Verification of Business Rules Programs

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.
Upplaga
Softcover reprint of the original 1st ed. 2014
ISBN
9783662514078
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
17.8.2016
Sidor
236