Discrete event systems specification, modeling, simulation, simulation-based development.
SmallDEVS is a frameworsk form DEVS-based systems modeling. It has a reflective API allowing to use DEVS formalism dynamically. Interactive development is supported by visual tools. Version SmallDEVS-07 allows interactive work with DEVS. It has been successfully tested by hundreds of students. It constitutes a basis for next research activities in the area of modeling and simulation.