并发PASCAL编译系统的实现算法

并行处理是提高计算机系统能力的最重要的技术之一,随着这一技术的发展,相继出现了一系列描述并发程序的程序设计语言,并发PASCAL就是其中之一.美国南加利福尼亚大学的P.B.汉森教授用并发PASCAL语言成功地书写了Solo单用户操作系统、作业流系统和一个实时调度程序.为了加强在并发程序方面的教学,提供一个并发程序设计语言是有益的.出于这个目的,我们在DJS-18计算机上实现了一个并发PASCAL系统.并发PASCAL编译系统中语法分析和语义分析与顺序PASCAL中的相同.本文仅讨论并发PASCAL中的管程实现和存储分配.     

层次型Java软件质量度量模型研究

软件度量研究方兴未艾,构建软件度量模型是其中一个重要的研究方向。度量模型从本质上说,是一组对软件进行评价的标准。这个标准并不是仅仅为了用来证明软件的好坏优劣,也用来反映不同软件系统或者软件模块的特点,从而为不同的需求服务。计算机科学中没有绝对的概念,它从诞生起就是紧密围绕应用服务的,计算机科学的研究一定要和现实需求相关联,因此作为一种评价标准,度量模型同样是从不同方面来综合评测软件的属性,从而在不同需求面前提供可参考的选择。     

基于有向带权图迭代的面向对象系统分解方法

针对如何从现存的系统中提取构件的问题,提出了一种基于有向带权图迭代分析的面向对象系统分解方法.它将面向对象系统抽象为一个有向带权图,使用迭代算法考察不同粒度的子图的独立性,并选择独立性高的作为候选构件.实验结果表明,该方法是一种有效的系统分解方法,在准确性上比现有系统分解方法有所提高.