维普中文期刊产品整合服务
意见 帮助
基本检索 作者索引 机构索引 期刊索引
  • 哲学宗教
  • 社会学
  • 政治法律
  • 军事
  • 经济管理
  • 文化科学
  • 语言文字
  • 文学
  • 艺术
  • 历史地理
  • 自然科学总论
  • 理学
  • 天文地球
  • 生物学
  • 医药卫生
  • 农业科学
  • 一般工业技术
  • 矿业工程
  • 石油与天然气工程
  • 冶金工程
  • 金属学及工艺
  • 机械工程
  • 兵器科学与技术
  • 动力工程及工程热...
  • 核科学技术
  • 电气工程
  • 电子电信
  • 自动化与计算机技术
  • 化学工程
  • 轻工技术与工程
  • 建筑科学
  • 水利工程
  • 交通运输工程
  • 航空宇航科学技术
  • 环境科学与工程
时间 1989 - 2010 学科选择学科
题名/关键词 模糊
与 题名/关键词 模糊
重新搜索 在结果中搜索
18篇 您的检索式：期刊名="IEEE Trans soft Eng"
选中 清除  导出 查看参考文献 查看引证文献 引用追踪 共1页 首页 上一页 第1页 下一页 末页 /1 跳转
    题名 作者 年代 出处 被引量
1Correct Architecture Refinement 显示文摘MORICONI M QIAN X Riemenschneider R 1995IEEE Tran Soft Eng1995，21，4：1
2Modeling and verification of time depend sys- tems using time Petri nets显示文摘Berthomieu B Diaz M 1991IEEE Trans soft Eng1991，17，3：1
3The effect of execution policies on the semantics and analysis of stochastic Petri nets显示文摘Marsan M A Balbo B Bobbio A 1989IEEE Trans On Soft Eng1989，15，7：1
4Software component models显示文摘LAU K K WANG Z 2007IEEE Trans Soft Eng2007，33，10：1
5An empirical study of software metrics显示文摘 CHEUNG W K 1987IEEE Trans soft eng1987，13，6：1
6Object-Oriented Development显示文摘Booch G 1986IEEE Trans on Soft Eng1986，12，6：1
7Developing Initial OOA Models显示文摘Lubars M Potts C Richter C 1993IEEE Trans on Soft Eng1993，19，2：1
8The Feature and Service Interaction Problem in Telecommunication System:A Survey显示文摘Keck D O Kuehn P J 1998IEEE Trans Soft Eng1998，24，77：1
9Evolution and reuse of orthogohal architecture显示文摘Rajlich V Silva J H 1996IEEE Trans on Soft Eng1996，22，2：1
10Software performance comparison with design ahernatives显示文摘Smith C U Williams L G 1993IEEE Trans Soft Eng1993，19，72：1
11Software reliability--status and perspectives显示文摘Ramamoorthy C V Bastani F B 1982IEEE Trans Soft Eng1982，，4：1
12A Classification and Comparison Framework for Software Architectures Description Languages显示文摘Medvidovic N Riachard N T 2000IEEE Tran Soft Eng2000，26，1：1
13Correct Architecture Refinement显示文摘Moriconi M 0ian X Riemenschneider R 1995IEEE Tran Soft Eng1995，21，4：1
14Timing requirements for time-driven systems using augmented Petfi nets显示文摘J E Coolahan 1983IEEE Trans soft Eng1983，9，5：1
15A protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets显示文摘T Suzuki 1990IEEE Trans Soft Eng1990，16，5：1
16Modelling and verification of time depent systems using time Petri ne(s显示文摘B Berthomieu M Diaz 1991IEEE Trans soft Eng1991，17，3：1
17Evolution and reuse of orthogonal architecture显示文摘RAJICH V SILVA J H 1996IEEE Trans on Soft Eng1996，22，2：1
18Compositional validation of time-critical systems using communicating time Petri nets显示文摘G Bucci E Vivario 1995IEEE Tran soft Eng1995，21，12：1
返回顶部 每页显示：
共1页 首页 上一页 第1页 下一页 末页 /1 跳转
goolge学术搜索-维普

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

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

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