主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第3期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2019年第30卷第1期目录

   
浏览其它刊期:  
  

本期目录

软件学科发展回顾特刊前言
  梅宏,金芝,郝丹
  2019,30(1):1-2 [摘要(306)]  [PDF 131.60 K (228)]
  

综述文章

软件开发方法发展回顾与展望
  马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东
  2019,30(1):3-21 [摘要(1599)]  [PDF 349.32 K (1294)]
  
系统软件新洞察
  王怀民,毛晓光,丁博,沈洁,罗磊,任怡
  2019,30(1):22-32 [摘要(939)]  [PDF 310.24 K (654)]
  
形式化方法概貌
  王戟,詹乃军,冯新宇,刘志明
  2019,30(1):33-61 [摘要(1516)]  [PDF 551.32 K (1201)]
  
软件过程与管理方法综述
  荣国平,张贺,邵栋,王青
  2019,30(1):62-79 [摘要(1333)]  [PDF 673.02 K (908)]
  
程序分析研究进展
  张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦
  2019,30(1):80-109 [摘要(2315)]  [PDF 547.59 K (1534)]
  
程序理解:现状与未来
  金芝,刘芳,李戈
  2019,30(1):110-126 [摘要(1252)]  [PDF 515.79 K (925)]
  
大数据管理系统的历史、现状与未来
  杜小勇,卢卫,张峰
  2019,30(1):127-141 [摘要(2410)]  [PDF 313.62 K (1501)]
  
数据模型及其发展历程
  信俊昌,王国仁,李国徽,高云君,张志强
  2019,30(1):142-163 [摘要(1277)]  [PDF 465.74 K (936)]
  
新型数据管理系统研究进展与趋势
  崔斌,高军,童咏昕,许建秋,张东祥,邹磊
  2019,30(1):164-193 [摘要(1322)]  [PDF 496.72 K (1062)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利