软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2019年第01期杂志 文档列表

软件学报杂志软件学科发展回顾特刊

软件学科发展回顾特刊前言第1-2页

关键词: 软件系统；  信息技术；  可靠性要求；  基础设施；  人类社会；  软件定义；  软件方法；  社会化；  

软件开发方法发展回顾与展望第3-21页

关键词: 软件开发方法；  回顾；  展望；  

系统软件新洞察第22-32页

关键词: 系统软件；  洞察；  本质特征；  操纵；  计算系统；  

形式化方法概貌第33-61页

关键词: 形式化方法；  形式规约；  形式验证；  程序设计方法学；  软件开发；  

软件过程与管理方法综述第62-79页

关键词: 软件工程；  软件过程；  软件项目管理；  软件过程管理；  

程序分析研究进展第80-109页

关键词: 程序分析；  软件质量保障；  静态分析；  动态分析；  

程序理解:现状与未来第110-126页

关键词: 软件工程；  程序理解；  软件理解；  程序静态分析；  程序动态分析；  

大数据管理系统的历史、现状与未来第127-141页

关键词: 大数据管理系统；  数据存储；  数据模型；  模块化；  松耦合；  

数据模型及其发展历程第142-163页

关键词: 数据模型；  结构化模型；  半结构化模型；  olap分析模型；  大数据模型；  

新型数据管理系统研究进展与趋势第164-193页

关键词: 分布式数据库；  图数据库；  流数据库；  时空数据库；  众包数据库；