formal specification; formal verification; object-oriented programming; software agents; HOMER; ROADMAP; agent-oriented software engineering; requirements elicitation;
机译:评估定义非功能性需求的指导原则的方法的评估
机译:要求委托的知识审计模型:评估要求委托知识的案例研究
机译:用户参与需求启发,比较焦点小组访谈和可用性测试以得出医疗设备的可用性需求:一个案例研究
机译:指导以代理为导向的需求:HOMER
机译:在需求工程中对心理状态进行建模:基于i(star)和CASL的面向代理的框架
机译:可卡因引起腹侧前额叶皮质Homer1与Homer2表达的不平衡:对复发的影响
机译:使用传播和实施策略来评估要求阐释指南:床管理系统的案例研究