I am reading the book. It is interesting.
This book teaches me Alloy Analyzer method and it is useful to design my design supporting tool.
For example, Alloy analyzer does not distinguish an object and a set containing that one. I apply the approach to my tool.
No comments:
Post a Comment