机译:使用ss-Tropos进行业务约束,以工程和验证面向代理的需求
University of Bologna, Bologna, Italy;
University of Bologna, Bologna, Italy;
Eindhoven University of Technology, Eindhoven, The Netherlands;
University of Bologna, Bologna, Italy;
FBK-IRST, Povo, TN, Italy;
机译:指定和验证跨组织业务模型:面向代理的方法
机译:面向代理的需求工程中目标的不精确关系建模
机译:使用需求工程为业务/ IT对齐建模业务目标
机译:B-Tropos Agent型要求工程符合声明性商业流程建模和验证的计算逻辑
机译:在需求工程中对心理状态进行建模:基于i(star)和CASL的面向代理的框架
机译:解开低收入和中等收入国家的设防举措的商业模式:利益攸关方确定了成功的驱动因素和抑制进展
机译:使用B-Tropos来设计和验证面向代理的需求,并通过业务约束来增强其需求
机译:将需求工程,建模和验证技术集成到软件和系统工程中;最终的评论。 2003年8月1日至2007年7月31日