维普中文期刊产品整合服务
10篇 您的检索式:期刊名="IEEE in Software"
    题名 作者 年代 出处 被引量
1A framework for specification-based testing显示文摘Stocks P A Carrington D A 1996IEEE Transactions in Software Engineering1996,22,11:1
2Specification-based Testing for Software Product Lines显示文摘emesghen Kahsai Markus Roggenbach 2008In Proceedings of 6th IEEE In ternational Conference on Software Engineering and Formal Methods SEFM 2008 Cape Town2008,,:1
3Supporting scientists' everyday work : automating scientific workflows 显示文摘VIGDER M VINSON N G SINGER J 2008IEEE in Software2008,25,4:1
4Architectural Blueprints-The '4+1' View Model of Software Architecture显示文摘Kruchten P 1995Paper Published in IEEE Software1995,12,6:1
5Timed multitasking for real-time embedded software显示文摘J Liu E A Lee 2003IEEE Control Systems Magazine:Advances in Software Enabled Contro12003,,2:1
6Conflicts in Policy-Based Distributed Systems Management 显示文摘LUPU E SLOMAN M 1999In IEEE Transactions on Software Engineering-Special Issue on Inconsistency Management1999,25,6:1
7Accountabitity protocols 显示文摘KAILAR R 1996IEEE Transactions in electronic commerce on Software Engineering1996,22,5:1
8T-Uppaal:online model-based testing of real-time systems:tool Demo显示文摘MIKUCIONIS M LARSEN K G NIELSENB 2004In the 19th IEEE International Conference on Automated Software Engineering2004,51,:1
9The distributed simulation of multi-agent systems 显示文摘Brian Logan Georgios Theodoropoulos 2001Proceedings of the IEEE Special Issue on Agent-oriented Software Approaches in Distributed Modeling and Simulation (S0018-9219)2001,89,2:1
10Managing Conflicts in Goal-Driven Requirements Engineering显示文摘A Lan Lamsweerde A Darimont Ro Letier E 1998IEEE Transactions on Software Engineering Special Issue on Managing Inconsistency in Software Development1998,,:1
返回顶部 每页显示:
共1页 首页 上一页 第1页 下一页 末页 /1 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费