Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning

by Dave Robertson and Yun-Heh Chen-Burger

How to make effective use of informal models and AI techniques, bridging the gap between Requirements Analysis and Formal Software System Specification.

• Format: Hardcover
• Language: English
• ISBN: 1852338350
• ISBN13: 9781852338350
• Release Date: February 2005
• Publisher: Springer
• Length: 322 Pages
• Weight: 1.33 lbs.
• Dimensions: 0.8" x 6.4" x 9.5"