The proposed framework includes architectural design and specifications, a proposed game overview, a game start-up interface and difficulty scaling, game modelling, the game environment and player control, and a free-style combat system.
We chose a design engineering perspective to create a conceptual framework with desirable components and specifications, including multi-modal, standardized, comprehensive surveillance of outcomes and detailed measurement of risk-adjustment factors.
This paper proposes a formal framework and architecture for specification and analysis of interactive agents.
This is done by developing formal executable specifications of the MDS framework and its mission-specific adaptations and providing a set of formal checklists (formal analysis suites) that can be used to achieve better predictability and dependability.
Furthermore, it can be easily incorporated into the displacement-based design framework, and into the code specifications.
By means of a suitable framework, specification and verification tasks can be reduced to the selection, parametrization and combination of framework elements resulting in a substantial support which opens formal analysis even for real-sized problems.
Research at the US Army, TARDEC, has been developing a generic ground system performance specification framework, and a ground system standard product classification hierarchy.
In particular, the paper proposes a framework for specification, design and deployment and applies it to the example of a legged robot.
These include thorough documentation, detailed design specifications for the framework and components, and especially regression testing, which is essential in a project with multiple developers.
For the approach, it explores the use of the C40 framework, as an application and specification of new synergy seeking approaches, such as Value Sensitive Design.
