formal specification; object-oriented programming; program testing; service-oriented architecture; software quality; PASCANI; SOA vision; component-based service testing; control flow; industrial adoption; service component architecture specification; service consumers; service integrators; service providers; service-oriented architectures; service-oriented computing; service-oriented systems; software development; software systems; system extra-functional requirements; system functional requirements; test specification; testing services; Computer architecture; DSL; Service-oriented architecture; Software systems; Testing; SCA testing; SOA testing; Software service testing; composable tests;
机译:一个用于基于组件的软件的实用,自动黑盒测试的框架
机译:语义框架的增量阶段,用于自动化长期组合服务的更改
机译:迈向基于组件的建模和仿真互操作性和可组合性框架
机译:基于组件的服务的自动化和可组合测试的框架
机译:QoSPL:服务质量驱动的软件产品线工程框架,用于设计和分析基于组件的分布式实时和嵌入式系统
机译:建立实施遗传服务的框架:从常见疾病的单基因形式检测实例中学习
机译:基于组件的服务的自动化和可组合测试的框架
机译:Uniframe:开发面向服务的,基于组件的分布式软件系统的统一框架