咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 电气工程
    • 1 篇 软件工程

主题

  • 1 篇 performance
  • 1 篇 software enginee...
  • 1 篇 software softwar...
  • 1 篇 assertion langua...
  • 1 篇 assertion checke...
  • 1 篇 design tools and...
  • 1 篇 software program...
  • 1 篇 distributed inte...

机构

  • 1 篇 politecn milan d...
  • 1 篇 city univ london...

作者

  • 1 篇 spanoudakis geor...
  • 1 篇 guinea sam
  • 1 篇 nano olivier
  • 1 篇 baresi luciano

语言

  • 1 篇 英文
检索条件"主题词=Software Program Verification"
1 条 记 录,以下是1-10 订阅
排序:
Comprehensive Monitoring of BPEL Processes
收藏 引用
IEEE INTERNET COMPUTING 2010年 第3期14卷 50-57页
作者: Baresi, Luciano Guinea, Sam Nano, Olivier Spanoudakis, George Politecn Milan Dept Elect & Informat Milan Italy City Univ London London England
Service-oriented systems' distributed ownership has led to an increasing focus on runtime management solutions. Service-oriented systems can change greatly after deployment, hampering their quality and reliability... 详细信息
来源: 评论