论文部分内容阅读
本文讨论了广谱规格说明语言FGSPEC 设计中的若干问题,如需求分析、研究途径和规格说明的语法语义描述。
广谱规格说明语言FGSPEC的设计
【摘 要】
：
本文讨论了广谱规格说明语言FGSPEC 设计中的若干问题,如需求分析、研究途径和规格说明的语法语义描述。
【机 构】
：
南京大学计算机软件研究所210008
【出 处】
：
计算机研究与发展
【发表日期】
：
1991年2期
其他文献
胥仕元在《东南学术》2009年第2期栽文《政府主导作用是务工农民合法权益保障的关键》认为，农民工为社会的进步和发展做出了巨大的贡献，但农民工合法权益被侵害的事件屡见不鲜：
《人民日报》2006年9月14日载，江苏省泗洪县纪委、组织部联手，在全县农村基层全面推行村务民主管理村民质询制度。对不称职的村官发给“质询罚单”：首次被评为不称职的村干部要
本文提出了图的一种双链式存储结构，比以往的图的链式存储结构有更好的灵活性，并在图的各种算法的实现显示了较好的时空复杂性，具有其它存储结构所不具备的各种优点。
在ＭＩＭＤ－ＳＭ并行计算模型上，本文给出了时间复杂性为Ｏ（ｎ（ｎ／ｐ＋ｌｏｇｐ））的最小生成树的异步并行算法，其中ｎ，ｐ（１≤ｐ≤ｎ）分别表示图的顶点数和处理机的个数。
本文首先简要介绍面向对象语言Smalltalk-80系统的顺序实现技术,然后重点论述它的并发、分布及并行实现技术。
据《中国证券报》2007年9月6日载，在日前召开的全国国有资产监管法制工作座谈会上，国资委副主任黄淑和表示，全国人大正在加快起草《国有资产法》，国资委将积极配合该法的调研论证
本文首先描述以CSP 理论为基础的一种经命名通道通信、有层次结构的分布式并行处理模型,然后详细分析、归纳occam 语言和晶片机(transputer)为支持和实现这种并行处理模型所
人大教科文卫工作涉及科技、教育、文化、卫生、人口与计划生育等诸多领域。在这些领域中，由于改革的深入，利益关系的调整，时常会出现一些与和谐社会不和谐的问题。为此，充分发挥
《人民政坛》编辑部：最近这段时间。我所在的代表小组组织了几次活动。其中有一次是学习监督法。监督法是规范各级人大常委会的监督．我们在学习后对人大代表监督的话题进行了讨