Department of Computer Science, University of Toronto, Toronto, ON M5S 3G4, Canada;
机译:面向代理的需求工程中目标的不精确关系建模
机译:使用ss-Tropos进行业务约束,以工程和验证面向代理的需求
机译:工程分布式系统的面向代理的可视化建模和模型验证
机译:以代理为导向的需求工程建模心理状态
机译:在需求工程中对心理状态进行建模:基于i(star)和CASL的面向代理的框架
机译:横断面信息链模型的需求工程
机译:面向agent的需求工程中的心理状态建模