Identifying and Qualifying Reusable Software Components
Computer - Special issue on cryptography
Infinite State Model Checking by Abstract Interpretation and Program Specialisation
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Game Development: Harder Than You Think
Queue - Game Development
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Queue - Game Development
A Language and a Methodology for Prototyping User Interfaces for Control Systems
Human Machine Interaction
Automatic prototyping in model-driven game development
Computers in Entertainment (CIE) - SPECIAL ISSUE: Media Arts and Games (Part II)
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
How to integrate domain-specific languages into the game development process
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology
AlPiNA: a symbolic model checker
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
AlPiNA: an algebraic petri net analyzer
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
It is typical in the domain of digital games to have many development problems due to its increasing complexity. Those difficulties include: i)little code reuse in order to develop a cross-platform game; and ii)performing game's verification through extensive and expensive tests. This of course results in low productivity in the development (evolution and maintenance) of game solutions. In this paper, we present a domain-specific language (DSL) for a Role-Playing Game (RPG) product lines, which was completely built using a software development technique driven by high level abstractions---called Model-Driven Development (MDD). Also, we discuss and demonstrate the several benefits of applying MDD in terms of rapid prototyping of cross-platform games, and their evaluation by means of static and dynamic verification of the game's logic properties.