Research keywords (8):
probabilistic model checking
, Requirements Engineering
, エージェント技術
, 自己適応システム
, ソフトウェア工学
, agent technology
, self-adaptive systems
, Software engineering
IEEE CS
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, THE INSTITUTE OF ELECTRONICS
, INFORMATION PROCESSING SOCIETY OF JAPAN