消息首页搜索举报

现货Verification of Business Rules Programs (2014)[9783642400377]

846 九五品

仅1件

上海宝山

认证卖家担保交易快速发货售后保障

作者Berstel-Da Silva, Bruno

出版社Springer

ISBN9783642400377

出版时间2014-01

装帧精装

纸张其他

页数236页

正文语种英语

上书时间2024-03-15

环球外文图书专营店

已实名已认证进店收藏店铺

在售商品暂无
平均发货时间 4天
好评率暂无

最新上架

Petrucci's General Chemistry: Principles and Modern Applications [9781292726137] ¥1111.00

现货Materials and Technologies of Modern Production[9783036401683] ¥1685.00

现货Introduction to Container Ship Operations and Onboard Safety[9781032155425] ¥453.00

现货Electrophosphorescent Materials and Devices[9789814877343] ¥1900.00

现货Organic Semiconductors for Optoelectronics[9781119146100] ¥1897.00

现货Advances in Food Rheology and Its Applications[9780081004319] ¥2306.00

现货Advanced Materials and Sustainable Technologies[9783035727562] ¥1421.00

现货Advanced Materials and Manufacturing Engineering II[9783035712681] ¥1414.00

现货Materials in Machinery and Construction[9783035718119] ¥1845.00

商品详情

品相描述：九五品

商品描述: 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 applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules—thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs.This work will be of interest to practitioners and researchers in the areas ofprogram verification,enterprise computing, database management, and artificial intelligence.

— 没有更多了 —