Friends of Eclipse,
Eclipse is an open source community that benefits millions of developers around the world each and every day! During the month of September, we are asking you to give back to our wonderful open source community. All donations will be used to improve Eclipse technology. Your contribution counts!
We thank you for this gesture, and for giving back to our community.
This chapter covers initiatives related to model verification/validation or like Action Semantics for UML and Executable UML.
Return to the list of chapters »
|This lecture provides a methodology for modeling the behaviors of systems, using Petri Nets, in order to verify them.|
|This lecture introduces Model-Driven Simulation by presenting a specific simulation scenario.|
Back to the top