《计算机程序设计科学》第90卷
第90卷,A部分,2014年9月
Amparo Gil系列 , 让-米歇尔·穆勒 , 哈维尔·塞古拉 :
数值软件专刊前言:设计、分析和验证。 1 弗兰基·巴克尔贾乌 , 斯特凡·贝库韦 , 安妮·A·M·库伊特 , 乔里斯·范德恩 , 丹尼尔·洛泽尔 :
特殊数学函数的验证评估。 2-20 哈维尔·D·布鲁格拉 :
优化间隔的表示。 21-33 安蒂·汉努卡宁 , 谢尔盖·科罗托夫 , 米哈尔·克里泽克 :
四面体剖分面对面最长边二分算法的数值规律性。 34-41 Amparo Gil系列 , 哈维尔·塞古拉 , 尼科·M·特姆 :
桑坦德-阿姆斯特丹项目中特殊功能的最新软件开发。 42-54 迈克尔·莫尔达施尔 , 威尔弗里德·甘斯特尔 :
对称带矩阵特征解算器的比较。 55-66
第90卷B部分,2014年9月
Barbora Buhnova公司 , 安东尼奥·瓦莱西略 , 内纳德·梅德维多维奇 , 马格努斯·拉尔森 , 哈维尔·洛佩斯 , 豪尔赫·库拉尔 :
《基于组件的软件工程与软件体系结构》特刊客座编辑。 67-70 费比安·布罗西格 , 尼古拉斯·胡贝尔 , 塞缪尔·库内夫 :
用于在线性能预测的体系结构级软件性能抽象。 71-92 彼得罗·阿巴特 , 罗贝多·迪·科斯莫 , 拉尔夫·特雷恩 , 斯特凡诺·扎奇罗利 :
学习组件存储库的未来。 93-115 鲁文·克雷布斯 , 克里斯托夫·莫姆 , 塞缪尔·库内夫 :
量化云环境中性能隔离的指标和技术。 116-134 托马斯·海策 , 乌韦·兹顿 :
支持软件进化的半自动化架构抽象规范。 135-160 弗拉基米尔·鲁帕诺夫 , 克里斯蒂安·巴克尔 , Ludger Fiege公司 , 迈克尔·阿姆布鲁斯特 , 阿洛伊斯·克诺尔 , 格诺·斯皮尔伯格 :
采用早期基于模型的安全评估来迭代推导E/E架构设计。 161-179
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)