Demeter is a text-based prototype game that demonstrates the Marlinspike architecture for producing computer-based interactive dramas. Marlinspike uses a top-down, directed approach to generating stories: a central drama manager agent responds to story-significant user actions by selecting the next scene to play from a pre-authored collection. This drama manager strives to explicitly reincorpor...

This paper describes a system for supporting the construction of software requirement models, which are initial computable models representing users’ requirements in software design. The system principally consists of two components, a system for aiding the formation of requirement concepts by visualizing a user’s thought space, and a knowledge-based system which automatically assembles the asc...

This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client’s requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such systems. System’s ...

The man-machine interface of a small electronic device like a wristwatch is a crucial component, as more and more functions have to be controlled using a small set of buttons. We propose to use Argos, an automaton-based language for reactive systems, and Larissa, its aspectoriented extension, to show that several interfaces can be obtained from the same set of basic components, assembled in var...

During the last decade we have attended to an impressive development of mobile communications which, unfortunately, deaf and hearing-impaired community cannot (in principle) take advantage of. In order to favour this people to take part in the Information Society, we have designed and developed some PC-based systems and applications which will provide several text-based services to them, such a...

In this research, we employ Agent-Based Modeling to analyze how asset prices are affected by investors’ Behavior. We construct a virtual financial markets that contains several types of investors: fundamentalists and non-fudamentalists. In this analysis, we place focus on the influence of overconfident investors on financial markets. As a result of intensive analysis, we find that overconfident...

Current market environments are volatile and unpredictable. The ability for design products to meet customer’s requirements has become critical to success. The key element to develop such products is identifying functional requirements and knowledge utilization based on a scientific approach to provide both designers of new products and redesigners of existing products with a suitable solution ...