Exploration Games - A Formal Foundation for UML Design Tools

Topics:
Video games
Tags:
Games,
Ooa/Ood/Oop,
Personal Technology,
Programming Languages,
Software Development,
Software/Web Development,
Tool,
UML,
University Of Edinburgh
Source:
University of Edinburgh

FREE Registration is required

Overview: This paper extends the two-player games as used in verification to exploration games to fill this gap. An exploration game can be specified on the basis of a model which contains informally defined conditions as it is often the case with UML models. During a play the game may be modified in various ways such that it becomes easier to win for one of the players. It applies the exploration game framework to a simple variant of UML state machines to illustrate how playing a game helps to understand and improve the design.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format: PDF | Size: 124KB | Pages: 10

People who downloaded this item also downloaded

Download Progress Planner 1.7 (Windows)
Download Apple MacBook Trackpad 1.1.0.0 (Windows)
White Paper Teaching Software Engineering Using Simulation Games
Case Study SmartDraw in Video Game Design: Creating UML Diagrams in Video Game Development
Webcast Schedulability Analysis for Rhapsody UML Models

Top results from Video games

White Paper 2004 Web and Downloadable Games White Paper
White Paper IGDA Online Games White Paper
White Paper Moore’s Law and Electronic Games
White Paper Pitfalls of Virtual Property
White Paper The Mobile Platform Wars

» View all Video games listings

advertisement
advertisement
  • Click Here
  • Click Here
  • Click Here
advertisement

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this directory, you become a member of BNET. In addition, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a directory registrant, you will receive a complimentary subscription to the BNET member newsletter, The BNET Report. You can unsubscribe from this newsletter at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).