Learn More
Undoubtedly the biggest success amongst the recent games console releases has been the launch of the Nintendo Wii. This is arguably due to its most innovative attribute—the wireless controller or " Wiimote. " The Wiimote can be used as a versatile game controller, able to detect motion and rotation in three dimensions which allows for very innovative game(More)
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A Sierpinski triangle shows a well-known fractal structure. This case study is mostly a performance benchmark, involving the construction of all triangles up to a certain number of(More)
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software development. UML and OCL became industry standards, and are supported by many CASE tools. OCL code checking, which has to be performed by these tools, has a specialty, as not all(More)
—Model-based development methodologies are gaining ground as software applications are getting more and more complex while the pressure to decrease time-to-market continually increase. Domain-specific modeling tools that support system analysis, simulation, and automatic code generation can increase productivity. However, most domain-specific model(More)
Model-driven software development makes models and model transformations first-class citizens in software development. As programming is mostly replaced by modeling, verification of model transformation plays an important role in the process. We introduce our approach for validating a model transformation described by graph transformation rules and a(More)