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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

177 篇 会议
41 篇 期刊文献
2 册 图书

馆藏范围

220 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

212 篇 工学
- 198 篇 计算机科学与技术...
- 193 篇 软件工程
- 32 篇 控制科学与工程
- 27 篇 信息与通信工程
- 12 篇 生物工程
- 9 篇 电气工程
- 6 篇 光学工程
- 6 篇 轻工技术与工程
- 3 篇 土木工程
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 2 篇 化学工程与技术
- 2 篇 航空宇航科学与技...
- 2 篇 生物医学工程（可授...
- 2 篇 安全科学与工程
99 篇 管理学
- 73 篇 图书情报与档案管...
- 44 篇 管理科学与工程(可...
- 29 篇 工商管理
63 篇 理学
- 52 篇 数学
- 12 篇 生物学
- 7 篇 统计学（可授理学、...
- 2 篇 化学
- 1 篇 物理学
- 1 篇 系统科学
12 篇 教育学
- 12 篇 教育学
7 篇 经济学
- 7 篇 应用经济学
6 篇 法学
- 4 篇 社会学
- 3 篇 法学
3 篇 文学
- 3 篇 新闻传播学
3 篇 医学
- 3 篇 基础医学(可授医学...

主题

220 篇 program document...
3 篇 programming lang...
2 篇 program correctn...
2 篇 structured progr...
2 篇 theory of progra...
2 篇 debugging
2 篇 software enginee...
2 篇 machine-independ...
2 篇 axiomatic method
2 篇 proofs of progra...
2 篇 basic
2 篇 documentation
2 篇 formal language ...
2 篇 algol
2 篇 program
1 篇 document effecti...
1 篇 program debuggin...
1 篇 statistical comp...
1 篇 programming lang...
1 篇 compilers

机构

4 篇 ibm toronto soft...
2 篇 institute for so...
2 篇 cogent computing...
2 篇 media design stu...
2 篇 national physica...
2 篇 department of co...
2 篇 department of co...
2 篇 department of co...
1 篇 university of il...
1 篇 coventry school ...
1 篇 tec-ed technical...
1 篇 4soft gmbh mitte...
1 篇 intell. agents m...
1 篇 lingnan coll. su...
1 篇 national physica...
1 篇 s.r. lanza assoc...
1 篇 eth zürich züric...
1 篇 xerox research c...
1 篇 ibm toronto soft...
1 篇 xerox corporatio...

作者

8 篇 tilley scott
6 篇 murphy steve
3 篇 mackinnon neil
3 篇 scowen r.s.
3 篇 huang shihong
3 篇 newman r.m.
2 篇 wichmann b.a.
2 篇 phelps thomas a.
2 篇 lumley john
2 篇 crawford vanadis
2 篇 priestley michae...
2 篇 kaner cem
2 篇 faber brenton d.
2 篇 du yangzhou
2 篇 mount s.n.i.
2 篇 schmitz lothar
2 篇 cheng yung-pin
2 篇 borghoff uwe m.
2 篇 guiard yves
2 篇 chapuis olivier

语言

214 篇 英文
4 篇 其他
2 篇 德文

检索条件"主题词=Program documentation"

共 220 条记录，以下是121-130 订阅

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

详细简洁

排序：

A study of the documentation essential to software maintenance 05

A study of the documentation essential to software maintenan...

引用

23rd International Conference on Design of Communication - Documenting and Designing for Pervasive Information

作者： De Souza, Sergio Cozzetti B. Anquetil, Nicolas De Oliveira, Káthia M. Souza Universidade Católica de Brasília Brasilia DF Brazil

ISBN: (纸本)1595931759

Software engineering has been striving for years to improve the practice of software development and maintenance. documentation has long been prominent on the list of recommended practices to improve development and help maintenance. Recently however, agile methods started to shake this view, arguing that the goal of the game is to produce software and that documentation is only useful as long as it helps to reach this goal. On the other hand, in the re-engineering field, people wish they could re-document useful legacy software so that they may continue maintain them or migrate them to new platform. In these two case, a crucial question arises: "How much documentation is enough?" In this article, we present the results of a survey of software maintainers to try to establish what documentation artifacts are the most useful to them. Copyright 2005 ACM.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Is online `inline' with your users' needs?

Is online `inline' with your users' needs?

引用

Proceedings of the 1997 44th Annual Conference of the Society for Technical Communication

作者： Kroeber, Kurt A. Kelley, David L. Waters Corp Milford United States

In preparation for the next release of its flagship software product, the International Publications Department at Waters Corporation assessed the usefulness of its current product software documentation to enable it to move the next generation of documentation in the direction requested by customers. Based on extensive customer contact, a plan to dramatically revamp the documentation was formulated. Plan development involved: acquisition of customer feedback on the company's current software documentation;categorization of electronic and hardcopy documentation issues;formulation of a series of conclusions on how to proceed;evaluation of available electronic tools;acquisition of corporate sign-off of the plan;and plan execution.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Documenting pattern use in Java programs

Documenting pattern use in Java programs

引用

18th International Conference on Software Maintenance

作者： Torchiano, M Norwegian Univ Sci & Technol Dept Comp & Informat Sci IDI NTNU Trondheim Norway

ISBN: (纸本)0769518192

Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explored Patterns are most useful in understanding software when they are well documented Sometimes they are described separately from code as design comments. Nevertheless they hold a strong relationship to the source code and thus they should be documented at the source level too. Unfortunately there is no agreement on how to document pattern use. This paper describes a structured approach to document pattern use in the Java language. Our solution is based on the standard Javadoc tool and it is able to generate HTML documentation. The approach has been implemented and tested with software that uses patterns.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

ADC automated testing using lab view software

ADC automated testing using lab view software

引用

ASEE 2004 Annual Conference and Exposition, "Engineering Researchs New Heights"

作者： Franklin, Ben E. Akujuobi, Cajetan M. Ali, Warsame Ctr. Excellence Commun. Syst. T.R. Dept. of Electrical Engineering Prairie View A and M University TX 77446

The focus of this project is to implement automated test algorithms for testing analog-to-digital converters using LabView software. With the increase in bandwidth hungry applications the need for high speed and high resolution ADCs are needed on the front ends of the new systems that are being implemented today. As the designs become more complex, the ability to test these fast and high resolution ADCs becomes even more important. LabView allows the test engineer to interact with the device under test (DUT) through means of data acquisition and instrument control. Developing custom tests in LabView can result in reduced test time, which in turn will help reduce costs in testing. A linearity test will be presented for testing ADC static parameters in LabView, which include Differential Non-Linearity (DNL) and Integral Non-Linearity (INL).

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Specialization in DITA: Technology, process, & policy 02

Specialization in DITA: Technology, process, & policy

引用

Proceedings of the 20th Annual International Conference on documentation

作者： Priestley, Michael Schell, David A. IBM Canada North York Ont. Canada

ISBN: (纸本)9781581135435

DITA is an architecture for creating topic-oriented, information-typed content that can be reused and single-sourced in a variety of ways. It is also an architecture for creating new information types and describing new information domains, allowing groups to create very specific, targeted document type definitions using a process called specialization, while at the same time reusing common output transforms and design rules. Specialization provides a way to reconcile the needs for centralized control of major architecture and design with the needs for localized control of group-specific and content-specific guidelines and controls. Specialization allows multiple definitions of content and output to coexist, related through a hierarchy of information types and transforms. This hierarchy lets general transforms know how to deal with new, specific content, and it lets specialized transforms reuse logic from the general transforms. As a result, any content can be processed by any transform, as long as both content and transform are specialization-compliant and part of the same hierarchy. You get the benefit of specific solutions, but you also get the benefit of common standards and shared resources. For some groups, specialization requires a radical move away from centralized processes into a world of negotiated possibilities that introduces many new stakeholders to the information management infrastructure. For other groups, specialization introduces centralization, and, while it provides new opportunities for sharing and reusing logic and design, it also requires new policies and procedures to bring disparate design and development activities into a cohesive, coordinated framework. Previous papers have described in some detail how the technology of specialization works, and how it can be implemented using off-the-shelf tools that are dependent only on base levels of W3C standards (XML 1.0, XSLT 1.0). This paper provides a brief summary of recent changes to DITA speci

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Dynamic Documents: Authoring, Browsing, and Analysis Using a High-Level Petri Net-Based Hypermedia System

Dynamic Documents: Authoring, Browsing, and Analysis Using a...

引用

Proceedings of the ACM Symposium on Document Engineering (DocEng '01)

作者： Na, Jin-Cheon Furuta, Richard Department of Computer Science Texas A and M University College Station TX 77843-3112 United States

ISBN: (纸本)1581134320

caT (for Context-Aware Trellis) was initially developed to support context-aware documents by incorporating high-level Petri-net specification, context-awareness, user modeling, and fuzzy knowledge handling features into Trellis, a Petri-net-based hypermedia system. The browsing behavior of documents specified in the caT model can reflect the reader's contextual (such as location and time) and preference information. Recently, to provide a framework for the authoring, browsing, and analysis of reasonably complex, dynamic documents, we added (or extended) several features in the caT system, providing hierarchical Petri net support, a structured authoring tool, browsing tools for multiple presentations of a particular document's specification, and a Petri net analysis tool. In this paper, we present the extended features of caT and give examples of using caT to define and present various documents, such as formal specification of software requirements and customized Web documents. Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed. Current debugging and analysis tools, integrated into the authoring tool, are also introduced.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Documenting software systems with views

Documenting software systems with views

引用

Proceedings of the 10th Annual International Conference on Systems documentation - SIGDOC'92

作者： Tilley, Scott R. Muller, Hausi A. Orgun, Mehmet A. Univ of Victoria Victoria Canada

ISBN: (纸本)0897915321

Software professionals rely on internal documentation as an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be trusted. Without it, the only reliable and objective information is the source code itself. Personnel must spend an inordinate amount of time exploring the system by looking at low-level source code to gain an understanding of its functionality. One way of producing accurate documentation for an existing software system is through reverse engineering. This paper outlines a reverse engineering methodology for building subsystem structures out of software building blocks, and describes how documenting a software system with views created by this process can produce numerous benefits. It addresses primarily the needs of the software engineer and technical manager as document users.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Dynamic help: automated online documentation

Dynamic help: automated online documentation

引用

Proceedings of the Second International Conference on Systems Integration - ICSI'92

作者： Young, Donovan Smith, Christopher G. Washechek, Mark G. Wolven, Renee Haines, Stanley K. Barge II, Walter S. Georgia Inst of Technology Atlanta United States

ISBN: (纸本)0818626976

Dynamic help is an automatable, non-interactive system of context-sensitive, state-specific online user documentation. It explains currently active objects and user procedures when called. This paper presents the theory of Dynamic Help, reports an automation experiment that shows Dynamic Help is intrinsically more efficient to provide than other forms of online documentation, reports user tests that verify Dynamic Help messages make a program usable without training, and discusses a set of developer's tools (a Dynamic Help Generator) currently under development.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Towards the Convergence between Hypermedia Authoring Languages and Architecture Description Languages

Towards the Convergence between Hypermedia Authoring Languag...

引用

Proceedings of the ACM Symposium on Document Engineering (DocEng '01)

作者： Muchaluat-Saade, Débora Christina Soares, Luiz Fernando Gomes Laboratório TeleMídia Departamento de Informática PUC-Rio R. Marques de Sao Vicente 225 Gavea 22453-900 Rio de Janeiro RJ Brazil

ISBN: (纸本)1581134320

This paper presents a detailed comparison between the structural elements and definitions provided by Hypermedia Authoring Languages and Architecture Description Languages (ADL). ADLs are formal languages that can be used for representing a software architecture. Although it may look trivial to make a direct correspondence between ADL and hypermedia structural entities, such as components to nodes and connectors to links, interesting differences can be identified when observing them more closely. Based on the comparison results, a structural meta-model that can be specialized for use in both domains is proposed. Furthermore, the paper also presents an example of how the meta-model can be used for describing hypermedia document structures, showing how some features found in ADLs can be applied to hypermedia authoring languages. Our final goal is to integrate the contributions of document engineering and software architecture engineering and take advantage of the advances of one area in the other one. The current paper is the first step towards this direction.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

Offline partial evaluation for shift and reset 04

Offline partial evaluation for shift and reset

引用

Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program Manipulation, PEPM'04

作者： Asai, Kenichi Coll. of Comp. and Info. Science Northeastern University 360 Huntington Avenue Boston MA 02115 United States Ochanomizu University 2-1-1 Otsuka Bunkyo-ku Tokyo 112-8610 Japan

ISBN: (纸本)9781581138351

This paper presents an offline partial evaluator for the λ-calculus with the delimited continuation constructs shift and reset. Based on Danvy and Filinski's type system for shift and reset, we first present a type system that specifies well-annotated terms. We then show a specializer that receives an annotated term and produces the output in continuation-passing style (CPS). The correctness of our partial evaluator is established using the technique of logical relations. Thanks to the explicit reference to the type of continuations, we can establish the correctness using the standard proof technique of structural induction, despite the fact that the specializer itself is written in CPS. The paper also shows an efficient constraint-based binding-time analysis as well as how to extend the present work to richer language constructs, such as recursion and conditionals.

关键词： program documentation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共22页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：