位置：成果数据库 > 期刊 > 期刊详情页
Software techniques for Internet Computing： Current situation and future trend
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]Key Laboratory. of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China, [2]School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China
  • 相关基金：This work was supported by the National Basic Research Program of China （2009CB320700） and the National Natural Science Foundation of China （60821003）.
作者： MEI Hong[1,2] LIU XuanZhe[1,2]
关键词： 软件技术, 互联网, 电脑, 软件开发方法, 通讯技术, 计算模式, 软件模型, 支撑平台, Internet, software technique, software methodology, Internetware
中文摘要：

因特网的快开发为信息和通讯技术(ICT ) 扩大了更宽的空格，并且它为传统的软件理论，模型，途径和技术带了一系列挑战。这份报纸往回看一些流行基于因特网的新计算范例和应用程序纲要，为因特网计算讨论当前的地位和软件技术的未来趋势包括软件模型的话题，软件运行时刻支持站台，软件开发方法论和软件质量测量和保证。

英文摘要：

The fast development of the Internet has extended wider space for Information and Communications Technology （ICT）, and it has brought a series of challenges for traditional software theories, models, approaches and technologies. This paper looks back some popular Internet-based new computing paradigms and application schemas, discusses the current status and the future trend of software technologies for Internet Computing, including topics of software model, software runtime supporting platform, software development methodologies and software quality measurement and assurance.

同期刊论文项目
可信软件的基础理论、方法和技术研究
期刊论文 36 会议论文 54 获奖 2
　基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究
期刊论文 13
同项目期刊论文
一种Web Service的服务质量预测方法
基于规则注入的自主构件协作框架的设计与实现
面向OSGi的应用服务器重构
一种基于双向选择的多agent系统自动集成方案
A Biting-Down Approach to Hierarchical Decomposition of Object-Oriented Systems Based on Structure A
基于时序可中断π演算的BPEL和BPEL4People建模
Interactive Fault Localization Using Test Information
时序π演算及其对ＭＡＲＴＥ顺序图的建模
以决策为中心的软件体系结构设计方法
基于TPM的运行时软件可信证据收集机制
一种从UML模型到可靠性分析模型的转换方法
SM@RT: Applying Architecture-based Runtime Management of Internetware Systems
A Community-Centric Approach to Automated Service Composition
一种支持软件资源可信评估的框架
支持自适应过程中分析与规划的软件体系结构模型
一个可半自动化扩展的静态代码缺陷分析工具
一种构件标签自动提取方法及其实现
软件分析技术进展
基于下推系统可达性分析的程序机密消去机制
一种WebService响应时间的动态预测方法
一种网络化移动应用部署方案优化方法
互联网时代的软件技术：现状与趋势
软件能耗优化技术研究进展
基于编档的体系结构视图冲突检测方法
一种基于元组空间的智能传感器协同感知机制
一种支持多种模型转换技术的组合方法
基于MOF的软件体系结构分析结果集成框架
Internetware： An Emerging Software Paradigm for Internet Computing
行为因果关系的分类与判定
基于完全有限前缀的完备日志生成算法
基于支持向量机的Web日志用户标志修正算法
业务过程模型库索引技术
PLM系统中业务对象版本操作合规性检查的自动实现
基于多示例学习的异常行为检测方法
工作流管理系统中一种概率性分析和调整时间约束的方法
带数据工作流的形式化建模语言——数据感知的工作流网
TAR：an improved process similarity measure based on unfolding of Petri nets
Verification ofworkflow nets with transition conditions
互联网时代的软件技术：现状与趋势
Internetware： An Emerging Software Paradigm for Internet Computing
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609