A5056059708- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Logic, programming, and type systems
- Game Theory and Voting Systems
- Anxiety, Depression, Psychometrics, Treatment, Cognitive Processes
- Motor Control and Adaptation
- Software Engineering and Design Patterns
- Neural and Behavioral Psychology Studies
- Musculoskeletal pain and rehabilitation
- Stroke Rehabilitation and Recovery
- Visual and Cognitive Learning Processes
- Game Theory and Applications
- Gaze Tracking and Assistive Technology
- Olfactory and Sensory Function Studies
- Auction Theory and Applications
- Memory and Neural Mechanisms
Tokyo Metropolitan University
2022-2023
Toshiba (Japan)
1995-2003
Buyer coalitions are beneficial in e-marketplaces because they allow buyers to take advantage of volume discounts. However, existing buyer coalition formation schemes do not provide with any means declare and match their preferences or calculate the division surplus a stable manner. Concepts algorithms for have been investigated game theory multi-agent systems research, but computational complexity, cannot deal thousands which could join practice. In this paper, we propose new scheme...
We propose a new design pattern named Answerer whose purpose is to eliminate the effort of recompiling program due changes run-time environments. Most programs have behave differently accommodate with various Usually behaviors such be specified in conditioned blocks. When environment changes, these blocks need modified and recompiled. The applies reflection architectural take care conditional execution. provides mechanism for changing structure behavior dynamically. Based on this idea,...
We investigated the relationship between eye gaze and self-efficacy based on anticipatory gaze. The experimental results showed that correlation coefficient saccade distance from questionnaire was more than 0.5, suggesting could be measured
Although many CASE tools for object-oriented methods (OO-CASE tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match requirements of system being developed. In order to realize this kind verification, we propose a software development method amalgamating OO-CASE algebraic specification techniques. We are developing an experimental named COOAD (CASE tool Object-Oriented Analysis Design) in examine effectiveness our proposition....
Although many CASE tools for object-oriented methods (OO tools) have been proposed, few, if any, can verify that the constructed analysis and design models actually match requirements of system being developed. In order to realize this kind verification, we propose a software development method amalgamating OO algebraic specification techniques. We are developing an experimental named COOAD (CASE tool Object-Oriented Analysis Design) in examine effectiveness our proposition. supports design,...