Bookcover of Developing Graphical Design Tool Using Eclipse Technologies
Booktitle:

Developing Graphical Design Tool Using Eclipse Technologies

X-Machine Toolkit Case Study

LAP LAMBERT Academic Publishing (2012-05-31 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-659-14246-8

ISBN-10:
3659142468
EAN:
9783659142468
Book language:
English
Blurb/Shorttext:
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 implementation of the system and to develop a complete functional testing method for the system. The developed X-Machine toolkit within Eclipse platform has a professional look and feel. The implemented toolkit allows the user to construct X-Machine models diagrammatically, store the constructed models specifications in XML format, validate the data of the constructed models to make sure that it confirms to the constraints placed on that data, generate Java code from the constructed models, animate the X-Machine State-Transition diagram, and generate test cases from the constructed model.
Publishing house:
LAP LAMBERT Academic Publishing
Website:
https://www.lap-publishing.com/
By (author) :
Tarek Abdunabi
Number of pages:
132
Published at:
2012-05-31
Stock:
Available
Category:
Application software
Price:
59.00 €
Keywords:
Eclipse, X-Machine, Eclipse Modeling Framework EMF, Graphical Editing Framework GEF, Graphical Modeling Framework GMF, Java Emitter Templates JET

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING