位置：成果数据库 > 期刊 > 期刊详情页
互联网时代的软件技术：现状与趋势
  • ISSN号：0023-074X
  • 期刊名称：《科学通报》
  • 时间：0
  • 分类：TP393[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]高可信软件技术教育部重点实验室(北京大学),北京100871, [2]北京大学信息科学技术学院软件研究所,北京100871
  • 相关基金：国家重点基础研究发展计划（编号：2009CB320700）和国家自然科学基金（批准号：60821003）资助项目
作者： 梅宏[1,2], 刘譞哲[1,2]
关键词： 互联网, 软件技术, 软件方法学, 网构软件
中文摘要：

互联网（Internet）的快速发展为信息技术与应用扩展了更为广阔的空间,同时也为传统的软件开发理论、方法和技术带来了一系列的挑战.回顾了现有基于网络的新型计算范型和应用模式.探讨了软件模型、软件运行平台和支撑机制、软件开发方法和软件质量评价与保障体系的现状和发展趋势.讨论并展望了进一步的研究工作.

同期刊论文项目
　基于网络的复杂软件可信度和服务质量及其开发方法和运行机理的基础研究
期刊论文 13
可信软件的基础理论、方法和技术研究
期刊论文 36 会议论文 54 获奖 2
同项目期刊论文
一种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的软件体系结构分析结果集成框架
Software techniques for Internet Computing： Current situation and future trend
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
Software techniques for Internet Computing： Current situation and future trend
Internetware： An Emerging Software Paradigm for Internet Computing
期刊信息
  • 《科学通报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院
  • 主编：周光召
  • 地址：北京东黄城根北街16号
  • 邮编：100717
  • 邮箱：csb@scichina.org
  • 电话：010-64036120 64012686
  • 国际标准刊号：ISSN：0023-074X
  • 国内统一刊号：ISSN：11-1784/N
  • 邮发代号:80-213
  • 获奖情况:
  • 首届国家期刊奖,中国期刊方阵“双高”期刊,第三届中国出版政府奖
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:81792