The book explains in detail how the Eclipse technologies: Eclipse Modeling Framework EMF, Graphical Editing Framework GEF, Graphical Modeling Framework GMF, and Java Emitter Templates JET can be used to develop graphical design tool. The development process is explained using the X-Machine toolkit case study. X-Machine is one of the effective formal methods that can be applied to the system specification phase to represent the model of the system formally and precisely using a combination of easily understood diagrams and very precise words. Then the X-Machine model is used to generate an...