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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

11 篇 会议
1 册 图书

馆藏范围

11 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

10 篇 工学
- 10 篇 计算机科学与技术...
- 7 篇 软件工程
- 3 篇 电气工程
- 3 篇 信息与通信工程
3 篇 理学
- 3 篇 数学

主题

2 篇 computers
1 篇 pattern matching
1 篇 automatic progra...
1 篇 computer program...
1 篇 errors
1 篇 program compiler...

机构

1 篇 technische hochs...
1 篇 computer science...
1 篇 ibm federal syst...
1 篇 ibm germany boeb...
1 篇 ibm scientific c...
1 篇 universität karl...
1 篇 eidgenössische t...
1 篇 computer science...
1 篇 universität des ...

作者

1 篇 goldberg patrici...
1 篇 informatik sympo...
1 篇 diel h.
1 篇 gerstmann h.
1 篇 ger.).edited by ...
1 篇 goos gerhard
1 篇 hotz günter
1 篇 leavenworth b.m.
1 篇 wirth n.
1 篇 hackl
1 篇 parnas d.l.
1 篇 clemens e.
1 篇 baker f.t.
1 篇 ibm world trade ...
1 篇 kolsky harwood g...
1 篇 witzel w.
1 篇 ibm deutschland.

语言

11 篇 英文
1 篇 中文

检索条件"任意字段=4th Informatik Symposium on Programming Methodology, 1974"

共 12 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

4th informatik symposium on programming methodology, 1974

引用

4th informatik symposium on programming methodology, 1974

ISBN: (纸本)9783540071310

the proceedings contain 19 papers. the special focus in this conference is on programming methodology. the topics include: Organizing for structured programming;the reliability of programming systems;fehleranalyse und fehlerursachen in systemprogrammen;APLGOL a structured programming language for APL;systemprogrammierung aus der Sicht der Universitaet;systemprogrammiersprachen und strukturiertes Programmieren;software engineering or methods for the multi-person construction of multi-version programs;preface;on the development of systems of men and machines;knowledge and reasoning in program synthesis;a new approach to program testing;interprocedural analysis and the information derived by it;neue Verfahren zur optimisierung und parallflisierung von programmen;automatic programming;nonprocedural programming;formal definition in program development;programmierte strukturen.

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming methodology : 4th informatik symposium, IBM Germany, Wildbad, September 25-27, 1974 /

Programming methodology : 4th Informatik Symposium, IBM Germ...

引用

1975年

作者： informatik symposium

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

System programming languages and structured programming 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Goos, Gerhard Universität Karlsruhe Germany

来源：评论

学校读者我要写书评

暂无评论

Axiomatization of programming languages and its limits 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Hotz, Günter Universität des Saarlandes Fachbereich Angewandte Mathematik und Informatik 66 Saarbrücken Germany

来源：评论

学校读者我要写书评

暂无评论

System programming from the University's point of view 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Wirth, N. Eidgenössische Technische Hochschule Zürich Switzerland

来源：评论

学校读者我要写书评

暂无评论

Organizing for structured programming 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Baker, F.T. IBM Federal Systems Division GaithersburgMD United States

ISBN: (纸本)9783540071310

A new type of programming methodology, built around structured programming ideas, has been gaining widespread acceptance for production programming. this paper discusses how this methodology has been introduced into a large production programming organization. Finally it analyzes the advantages and disadvantages of each component of the methodology and recommends ways it can be introduced in a conventional programming environment. © 1975, Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

the reliability of programming systems 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Gerstmann, H. Diel, H. Witzel, W. IBM Germany Boeblingen Germany

ISBN: (纸本)9783540071310

the reliability of a programming system is not only determined by the number of errors to be expected, but also by its behaviour in error situations. An error must be kept local to identify its origin and annul its effects at an tolerable expense. this paper discusses a uniform approach to the limitation of error propagation, the identification of the process in error, and the provision for error recovery. © 1975, Springer-Verlag.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

Automatic programming 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Goldberg, Patricia C. Computer Sciences Department IBM Thomas J. Watson Research Center Yorktown HeightsNY10598 United States

ISBN: (纸本)9783540071310

Work in Automatic programming focusses on the problem of how to make the computer more accessible to the non-programmer. It involves both the design of interfaces and the development of algorithms to support those interfaces. It is also concerned with how to write programs which can be manipulated: changed, subsetted, or composed. this paper outlines one facit of the work in Automatic programming at the IBM Research Center, Yorktown Heights, New York. © 1975, Springer-Verlag.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

APLGOL a structured programming language for APL 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Kolsky, Harwood G. IBM Scientific Center Palo AltoCA United States

ISBN: (纸本)9783540071310

APLGOL is a language providing interstatement control structure for APL. It permits programs to be written using the power and conciseness of standard APL expressions in conjunction with structured programming concepts to emphasize more of the overall program control flow, rather than the details of individual statements. the APLGOL System described consists of three parts: an Editor, an APLGOL-to-APL compiler and an APL-to-APLGOL reverse compiler. All three parts are themselves written in APL. © 1975, Springer-Verlag.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Software engineering or methods for the multi-person construction of multi-version programs 4th

引用

4th informatik symposium on programming methodology, 1974

作者： Parnas, D.L. Technische Hochschule Darmstadt Fachbereich Informatik Betriebssysteme I Steubenplatz 12 Darmstadt6100 Germany

ISBN: (纸本)9783540071310

this talk will describe some methods which have been used to produce a family of related software products using many relatively unskilled programmers. the primary topics of the talk will be:*** interpretation of the word "structure" with regard to software;*** to be used in decomposing software into modules;*** and techniques with regard to software module specifications. the talk will be introductory in nature emphasizing the desired properties of well engineered software systems and providing an overview of new methods which have proven useful in achieving those properties. © 1975, Springer-Verlag.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共2页 << < 1 2 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：