检索结果-内蒙古大学图书馆

计算机工程与设计 1988年第1期 40-46页

作者：许月宾山东大学

分层结构对使用PASCAL、ALGOL、FORTRAN、COBOL等语言的用户来说,是一种常用的程序结构。本文引入一个囊括过程调用验证规则的公理系统,以适应日益受到广泛注意的分层结构验证技术的需要。文中提出了“调用不变式”概念并用于过程验证... 详细信息

分层结构对使用PASCAL、ALGOL、FORTRAN、COBOL等语言的用户来说,是一种常用的程序结构。本文引入一个囊括过程调用验证规则的公理系统,以适应日益受到广泛注意的分层结构验证技术的需要。文中提出了“调用不变式”概念并用于过程验证规则中,使验证过程不需对过程参数作详细划分,使验证更为方便、实用。

关键词：程序设计程序检验结构程序设计

来源：评论

学校读者我要写书评

暂无评论

软件工程现状

引用

计算机科学 1979年第5期 53-68页

作者： Marvin V.Zelkowitz 饶生忠

软件工程指的是生产软件系统的全过程.要采用一些技术,使得所建立的软件在可靠性和可维修性不断提高时还能降低其成本和复杂性.这篇文章概述了计算机软件研制(重点放在大型软件研制)中用的方法,指出了问题所在的领域并提出了解法,也就... 详细信息

软件工程指的是生产软件系统的全过程.要采用一些技术,使得所建立的软件在可靠性和可维修性不断提高时还能降低其成本和复杂性.这篇文章概述了计算机软件研制(重点放在大型软件研制)中用的方法,指出了问题所在的领域并提出了解法,也就是对这些领域里的许多问题从管理的和程序员的观点给出了解决办法.

关键词：程序员生产率软件研制计算机定义软件结构程序设计

来源：评论

学校读者我要写书评

暂无评论

软件模块是构造块

引用

计算机研究与发展 1979年第5期 56-60+20页

作者： Robert Ulrickon 庚以津

像硬件设计一样,软件设计要分作两步来作。首先,考察要解决的整个问题,用功能说明书的形式客观地陈述问题并将问题分解为若干个功能块,并为每个功能块确定算法,这样才算完成了这项任务的第一阶段,或“战略”阶段。第二,用适当的语言为... 详细信息

像硬件设计一样,软件设计要分作两步来作。首先,考察要解决的整个问题,用功能说明书的形式客观地陈述问题并将问题分解为若干个功能块,并为每个功能块确定算法,这样才算完成了这项任务的第一阶段,或“战略”阶段。第二,用适当的语言为每个功能块编制程序,并在适当的计算机上调试每个块,最后,把每个块的程序接起来形成该问题的一个完整的解。这些步骤表达了程序设计的战术。图1用一种称为“自顶向下”(“top-down”)设计的系统化过程,把软件设计的战略和战术组合在一起。这是搞好软件工程的秘诀。一贯的软件战术(图1的下部)常常涉及结构程序设计的概念。结构程序设计是一个严格地从一组软件模块(这时模块实现任何可定义的算法)出发来构造程序的过程。但也可以

关键词：结构程序设计人口序列嵌套循环变量出口表达式执行过程控制转移测试条件软件模块

来源：评论

学校读者我要写书评

暂无评论

SIMULA和CLASS

引用

电子计算机动态 1980年第6期 40-45页

作者：冯玉琳中国技科大学

SIMULA67是一种ALGOL型语言,以ALGOL60为基础,扩充了一个新的概念“类”(CLASS),致使语言的描述能力和结构化能力大大增强。类是一种把数据和操作结合起来的数据类型,SIMULA67是最早在语言中引进这样数据结构的语言。以后其它语言如clu-... 详细信息

SIMULA67是一种ALGOL型语言,以ALGOL60为基础,扩充了一个新的概念“类”(CLASS),致使语言的描述能力和结构化能力大大增强。类是一种把数据和操作结合起来的数据类型,SIMULA67是最早在语言中引进这样数据结构的语言。以后其它语言如clu-ster、modula、monitor等都相继引进了这个概念,并把这样的数据结构发展得更为完善了。本文将专门讨论CLASS的由来和作用。

关键词：概念结构程序设计思维形式定义 SIMULA CLASS 特征量软件主程序

来源：评论

学校读者我要写书评

暂无评论

链杆代换非刚性结点对直接刚度法和单项程序的效应

引用

石家庄铁道大学学报（自然科学版） 1987年第2期15卷 60-67页

作者：李世鹏石家庄铁道学院结构力学教研室

链杆代换非刚性结点,它在各种杆件结构之间搭了桥。按直接刚度法计算杆系结构时,在应用上提供了基本的简化措施,又为专业结构程序设计提供了通用的条件。例如在直接刚度法应用方面,使杆系结构11种单元刚度矩阵缩减为两种;使6种以上的梁... 详细信息

链杆代换非刚性结点,它在各种杆件结构之间搭了桥。按直接刚度法计算杆系结构时,在应用上提供了基本的简化措施,又为专业结构程序设计提供了通用的条件。例如在直接刚度法应用方面,使杆系结构11种单元刚度矩阵缩减为两种;使6种以上的梁式杆缩减成一种;同时对非结点荷载的相关性也压缩到6与1之比。对编制杆系结构程序方面,代换后只有一种单元刚度矩阵,为通用程序优化提供了基本条件;使结构单项程序能发挥一定的通用作用。

关键词：非刚性直接刚度法单元刚度矩阵杆系结构梁式杆端结构程序设计局部坐标系列向量端点编码

来源：评论

学校读者我要写书评

暂无评论

B.关于美国软件活动管理的革新

引用

计算机科学 1980年第6期 6-12页

作者： John W.Bracker Glement L.McGowan Soft Tech公司 Soft Tech公司

1.前言本文从软件活动管理人员的观点,论述美国第一流企业最近采用的主要思想和方法。首先提出一些具体资料,说明使用主程序员小组、结构程序设计、自顶向下完成法、代码检查等新方法所带来的软件生产率

关键词：结构程序设计企业企业管理程序员软件生产率管理人员管理者软件研制代码专家小组美利坚合众国北美洲美国

来源：评论

学校读者我要写书评

暂无评论

软件工程过于机械的管理

引用

计算机科学 1983年第3期 11-17页

作者： Gerald M.Weinberg 袁崇义

管理不当可能比任何其它因素使软件成本更迅速地增长,但至今对管理不当的问题仍缺乏研究。这方面的一个模型表明,软件工程师过于机械的思维方式可能导致管理不当,因为这些人在取得了技术上的成功以后上升为管理人员(经理),从而把过于机... 详细信息

管理不当可能比任何其它因素使软件成本更迅速地增长,但至今对管理不当的问题仍缺乏研究。这方面的一个模型表明,软件工程师过于机械的思维方式可能导致管理不当,因为这些人在取得了技术上的成功以后上升为管理人员(经理),从而把过于机械的思维方式误用于管理。

关键词：模块化生产率经理企业领导课题程序员结构程序设计软件

来源：评论

学校读者我要写书评

暂无评论

高级语言的发展(上)

引用

计算机研究与发展 1982年第5期 1-10页

作者：陆汝钤中国科学院数学研究所

自从数字电子计算机问世以来,一共创造了多少种高级语言,这个问题恐怕谁也说不清楚,据Sammet估计,从1952年第一个程序设计语言(UNIVAC公司的Short Code)出现开始,到1972年为止的20年间,已经产生了好几百种语言。单是在美国,1972年就有17... 详细信息

自从数字电子计算机问世以来,一共创造了多少种高级语言,这个问题恐怕谁也说不清楚,据Sammet估计,从1952年第一个程序设计语言(UNIVAC公司的Short Code)出现开始,到1972年为止的20年间,已经产生了好几百种语言。单是在美国,1972年就有170多种语言在使用,其中约有一半是专用语言。Wulf的估计超过了Sammet,他认为到七十年代末期,仅美国使用的军用语言就不下两千种。可是在1974年,美国国防部刚刚开始酝酿设计一种全军统一使用的语言(ADA)时,他们估计美国的军用语言总数约为500种。问题就是这样,要末有些估计与事实出入太大,要末就是计算机语言的总数在按某种指数

关键词：语言概念作用域系统程序设计语言程序语言美国国防部程序员 ADA 计算机语言程序编译标识符六十年代结构程序设计数据类型

来源：评论

学校读者我要写书评

暂无评论

UNIX操作系统的模块化设计

引用

计算机研究与发展 1982年第2期 22-30页

作者：刘日升中国科学院计算所

本文从结构程序设计的观点分析了UNIX 操作系统结构上的一些问题,介绍了重新设计的UNIX操作系统核心结构及在设计中采用的方法。最后,讨论了在用XCY语言改写这一系统时要处理的该语言与操作系统的接口问题。

关键词：进程调度映象操作系统计算机系统 UNIX 程序对换子进程结构程序设计用户数据字符设备文件存储内存

来源：评论

学校读者我要写书评

暂无评论

多窗口读出系统软设计件

引用

光子学报 1987年第4期 39-44页

作者：任新明光电子工程部

本文讨论了微处理机的软件开发过程和三种常用的软件设计方法,提出了一个适用于变象管扫描相机多窗口读出系统的层次化、模块化软件结构方案。同时,着重介绍了读出系统软件设计方法,该软件系统由6000多条MC68000汇编语言组成,在Tektroni... 详细信息

本文讨论了微处理机的软件开发过程和三种常用的软件设计方法,提出了一个适用于变象管扫描相机多窗口读出系统的层次化、模块化软件结构方案。同时,着重介绍了读出系统软件设计方法,该软件系统由6000多条MC68000汇编语言组成,在Tektronix8550微机开发系统提供的实时仿真环境下调试通过。

关键词：软件设计技术微处理机软件结构计算机体系结构软件开发软件工程读出系统计算机系统结构程序设计

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：