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

DEVELOPING microprocessor software WITHOUT TEARS

ELECTRONICS AND POWER 1981年第3期27卷 228-229页

作者： BOLDYREFF, C Microprocessor Software Unit South West Universities Regional Computer Centre University of Bath Bath UK

Many techniques have been developed to make the design of micro software less painful. This article describes a few of these methods which will reduce cost, time spent and the number of paper handkerchiefs used in dev...

关键词：

来源：评论

学校读者我要写书评

暂无评论

SPECIFYING AND IMPLEMENTING OBJECT MANAGERS IN ADA

引用

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1982年第2期129卷 70-74页

作者： HARWOOD, WT Microprocessor Software Unit South West University Regional Computer Centre University of Bath Bath UK

An outline of a formalism for writing specifications of synchronisation behaviours is given, together with a sketch of an approach to the transformation between such a specification and an implementation in Ada. The model of implementation is that each specification is regarded as defining a mechanism, the 'object manager', which controls the occurrence of events in the system. Each object manager is implemented as an Ada package that provides a collection of procedures to a collection of tasks. Hidden inside the package are 'shared' data structures and a synchronisation task which schedules the start of execution of each procedure call.

关键词： synchronisation task program and system documentation synchronisation behaviours object managers Ada Systems analysis and programming implementations High level languages writing specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：