Software Technol. Res. Lab., De Montfort Univ., Leicester;
Web services; XML; business data processing; certification; formal logic; object-oriented programming; program verification; rewriting systems; software architecture; BPEL; Maude language; Maude-based certification; XML-based interface; ad-hoc deployment; adaptive behavioral Web-service; aspect-oriented mechanization; aspectual interaction; business process execution language; compliant service foundation; distributed rewriting-logic; intuitive event-driven architectural conceptualization; loosely-coupled service in;
机译:在设计中表达方面的交互作用:评估老虎机领域中的三种AOM方法
机译:在需求工程中表达方面的交互:经验,问题和解决方案
机译:EFSOC:用于开发Web服务之间的安全交互的分层框架
机译:具有量身定制的基于MAUDE的认证的自适应行为网络服务的一切互动
机译:通过用户交互来适应系统行为
机译:IAMBEE:用于从平行进化的克隆种群中识别适应性途径的网络服务
机译:使用运行时方面交互快速构建基于自适应组件的系统的原型
机译:采用独特定制的V形减少推进机身气动声学相互作用:3。喷射 - 襟翼相互作用