Peopleware (2nd ed.): productive projects and teams
Peopleware (2nd ed.): productive projects and teams
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Design and code inspections to reduce errors in program development
IBM Systems Journal
Agile software development
A Discipline for Software Engineering
A Discipline for Software Engineering
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Extreme Programming Explained: Embrace Change (2nd Edition)
Extreme Programming Explained: Embrace Change (2nd Edition)
GUIDE: Games with UML for Interactive Design Exploration
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
A Simple Game-Theoretic Approach to Checkonly QVT Relations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
CDADE: Conflict detector in activity diagram evolution based on speech act and ontology
Knowledge-Based Systems
An analytical model for generalized ESP games
Knowledge-Based Systems
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Eliminating invariants in UML/OCL models
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a specification of what it means for the design to be correct. The central idea of this approach is that the designer can increment the game during a play and gradually add more detail to it. Specification and design are refined by repeated plays of the game. The designer stops playing when design and specification are detailed enough for his purpose and match each other. The interactive game approach helps to cope with incompleteness and informal definition of UML models, which make strictly formal verification techniques difficult. The designer may resolve these problems when they arise during a play or let the GUIDE tool determine how the play should proceed. We discuss the potential impact of GUIDE and tools like it on software development.