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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,831 篇 会议
118 册 图书
17 篇 期刊文献

馆藏范围

1,966 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

809 篇 工学
- 657 篇 计算机科学与技术...
- 484 篇 软件工程
- 178 篇 信息与通信工程
- 114 篇 材料科学与工程（可...
- 101 篇 控制科学与工程
- 68 篇 电气工程
- 48 篇 电子科学与技术（可...
- 39 篇 机械工程
- 23 篇 建筑学
- 22 篇 生物工程
- 20 篇 土木工程
- 19 篇 生物医学工程（可授...
- 17 篇 网络空间安全
- 16 篇 安全科学与工程
- 15 篇 化学工程与技术
- 12 篇 光学工程
160 篇 理学
- 92 篇 数学
- 27 篇 系统科学
- 26 篇 生物学
- 23 篇 物理学
- 22 篇 统计学（可授理学、...
150 篇 管理学
- 110 篇 管理科学与工程(可...
- 55 篇 工商管理
- 49 篇 图书情报与档案管...
25 篇 教育学
- 25 篇 教育学
17 篇 医学
- 16 篇 临床医学
- 13 篇 基础医学(可授医学...
15 篇 法学
- 12 篇 社会学
12 篇 经济学
- 12 篇 应用经济学
10 篇 文学
- 10 篇 新闻传播学
5 篇 军事学
4 篇 农学
1 篇 艺术学

主题

309 篇 application soft...
268 篇 software enginee...
234 篇 computer science
166 篇 software systems
161 篇 computer archite...
138 篇 computer aided s...
116 篇 computer softwar...
106 篇 programming
93 篇 hardware
90 篇 control systems
87 篇 artificial intel...
76 篇 costs
72 篇 software
63 篇 information syst...
59 篇 prototypes
58 篇 real time system...
57 篇 computational mo...
56 篇 systems engineer...
56 篇 testing
55 篇 humans

机构

10 篇 school of comput...
8 篇 department of co...
8 篇 department of el...
7 篇 weizmann inst sc...
7 篇 department of so...
6 篇 technion israel ...
6 篇 department of co...
6 篇 state key labora...
5 篇 the moise and fr...
5 篇 hebrew universit...
5 篇 department of el...
5 篇 ben gurion univ ...
5 篇 computer science...
5 篇 hebrew univ jeru...
4 篇 tel aviv univers...
4 篇 israel aircraft ...
4 篇 tel aviv univ sc...
4 篇 technion haifa
4 篇 university of ha...
4 篇 rafael advanced ...

作者

10 篇 kupferman orna
8 篇 exman iaakov
7 篇 maoz shahar
7 篇 harel david
6 篇 vardi moshe y.
6 篇 winokur michael
6 篇 j.z. lavi
6 篇 ringert jan oliv...
6 篇 a. yehudai
6 篇 mordechai guri
6 篇 yingxu wang
6 篇 rumpe bernhard
6 篇 tyszberowicz shm...
5 篇 david harel
5 篇 shahar maoz
5 篇 goldstein moshe
5 篇 rajkumar buyya
5 篇 pnina soffer
5 篇 balaban mira
5 篇 marron assaf

语言

1,957 篇 英文
5 篇 其他
4 篇 中文

检索条件"任意字段=Fourth Israel Conference on Computer Systems and Software Engineering"

共 1966 条记录，以下是1791-1800 订阅

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

详细简洁

排序：

superCASE-an integrated approach to design and code

superCASE-an integrated approach to design and code

引用

israel conference on computer systems and software engineering

作者： A. Tagger Advanced Technology Limited Tel-Aviv Israel

Presents a software development method featuring an integrated approach to the design and coding stages of the software development cycle. The approach has the following main benefits: Ada-based design applicable to non-Ada languages as well as Ada; the design analysed for consistency and completeness; a smooth transition from design to code; design documents automatically updated from the source code; and an adaptable, open-ended approach. The approach is supported by an interactive software development tool-superCASE, developed by Advanced Technology Ltd. superCASE is primarily suited for the development of real-time and embedded software systems, and in particular for medium and large scale projects. The paper is limited to just one primary aspect of the superCASE methodology-the integration between the design, coding, and maintenance stages in software development.< >

关键词： Programming Packaging software systems Real time systems Embedded software Large-scale systems software maintenance Graphics software debugging software standards

来源：评论

学校读者我要写书评

暂无评论

Towards an environment for gathering, analyzing, and writing requirements

Towards an environment for gathering, analyzing, and writing...

引用

israel conference on computer systems and software engineering

作者： D.M. Berry Computer Science Faculty Technion-Israel Institute of Technology Haifa Israel

Summary form only given as follows. Plans are reviewed for a computer-assisted programming environment with tools for assisting in the requirements gathering and analysis phases of the software life cycle. The intent is for the requirements analyst to use the tools of this environment to help massage the clients' raw statements about a proposed system into a useable statement of the requirements of the system. The tools should be able to accept the raw description in natural language and it should permit the final requirements to be expressed in whatever specification language is desired. The design is based on previous work by Burstin that provides the basic ideas for the environment, on Aguilera's prototype abstraction finding tool and a test of its effectiveness, and on a design for the whole environment using hypertext.< >

关键词： Writing computer science Programming environments software tools Natural languages Specification languages Prototypes Testing

来源：评论

学校读者我要写书评

暂无评论

System acceptance testing in the real world: a case study

System acceptance testing in the real world: a case study

引用

israel conference on computer systems and software engineering

作者： D. Kleinstein ATL Advanced Technology Israel

Most of the material on testing is theoretical. Most of the theories assume that other parts of the system have been built and conform to the most up to date methodologies. System testing is totally dependent on system specification. If the specifications are good and complete then system testing will be relatively easy. Usually specifications are lacking in some way or the other. computerized check-lists for system testing can solve many of the problems created by requirement redundancy, inconsistency and missing requirements. The case study shows, by example, how to build the check-list and use it for creating the test procedures, step by step.< >

关键词： System testing computer aided software engineering Information security Performance evaluation Materials testing Contracts Switching systems Scattering Performance analysis

来源：评论

学校读者我要写书评

暂无评论

DOC-a methodology for development and management system documents

DOC-a methodology for development and management system docu...

引用

israel conference on computer systems and software engineering

作者： H. Shapira J. Hertzmann Tadiran Communication Group Holon Israel

During a system development process, a large number of documents are written. The documents are not mutually exclusive. In fact, there is a high degree of common text in valid documents that coexist. Managing and maintaining changes in a collection of documents with a highly redundant text is extremely difficult. DOC represents new concepts for system document management. It uses software engineering techniques and results in document development resembling software development. The use of DOC significantly improved the working style and methodology of engineers. A considerable increase in their productivity was noticed. The documents that are produced using DOC are of much higher quality. DOC opened up new avenues of management procedures that were not possible before.< >

关键词： software engineering software tools Hardware software standards Board of Directors Maintenance engineering Productivity Optical wavelength conversion software packages Packaging

来源：评论

学校读者我要写书评

暂无评论

Parallel programming using the MMX operating system and its processor

Parallel programming using the MMX operating system and its ...

引用

israel conference on computer systems and software engineering

作者： E. Gabber The Moise and Frida Eskenasy Institute of Computer Science The Raymond and Beverly Sackler Faculty of Exact Sciences Tel-Aviv University Tel-Aviv Israel

MMX (multiprocessor multitasking executive) is a small yet powerful operating system for shared memory multiprocessors. The MMX parallel processor is a small shared bus multiprocessor assembled from several commercial processor boards. Together, MMX and its parallel processor provide a flexible and powerful testbed for parallel software development. The author describes MMX design principles, its structure and services. Parallel programming techniques with MMX are demonstrated with special emphasis on work distribution. The author concludes with some MMX timing and speedup measurements of several parallel programs.< >

关键词： Parallel programming Operating systems Message passing Multitasking Writing computer science software testing Timing Velocity measurement Parallel processing

来源：评论

学校读者我要写书评

暂无评论

software and system reusability

Software and system reusability

引用

israel conference on computer systems and software engineering

作者： V. Kadary S. Markel S. Koenig A. Yehudai Tel-Aviv Univ. Israel

Summary form only given. software reuse has been identified as a potential source of significant improvement in software productivity and quality. However, for reuse to become a reality, major advances need to be made. The vision that the software industry evolves into component factories, has not been realized yet. The problem is not only a technical one, but also organizational. Some of the technical questions are: how to make software reusable, how to design software in a way that will enable the use of existing components in a new software, how to store a library of components and how to search for a needed component. Some of the organizational questions are: what needs to be done within a software (or system) producing organization, to create reusable components and how to modify existing contracting arrangements, to encourage the production of reusable software on one hand, and the reuse of existing components on the other?.< >

关键词： software reusability software systems

来源：评论

学校读者我要写书评

暂无评论

An approach to efficient software/hardware integration in embedded computer systems

An approach to efficient software/hardware integration in em...

引用

israel conference on computer systems and software engineering

作者： N. Kestenberg V. Kadary R. Fisher E. Mintz MBT Israel Aircraft Industries Limited ATI Ingegneria Delle Frequenze

Although the integration process in the development of embedded computer systems is usually the most troublesome and resource consuming, no known software design methodology takes into account this phase of the software development cycle. On the contrary, effort is being made in the preliminary system analysis and design phases to ensure that the software analysis and top-level design are not tailored to a particular early hardware solution but rather reflect the overall system requirements. While such a strategy may lead to a seemingly sound, structured software design, it also hides the system problems. These will surface only in the integration phase, and since by then the software is already quite complex, dealing with them is both costly and time consuming. The authors propose a way of keeping step with good software engineering practices while high-lighting potential integration problems at an early stage of the project. This is achieved by replacing the top-down, stepwise partitioning of the system functions with a layered hierarchy where each layer represents a unique set of system features or the objects. With this approach, all software interacting with the hardware may be grouped within one hierarchy layer and dealt with in parallel with other system aspects.< >

关键词： Embedded software Hardware Embedded computing software design software engineering Aircraft Aerospace industry computer industry Programming System analysis and design

来源：评论

学校读者我要写书评

暂无评论

Multi level analysis of complex embedded computer systems

Multi level analysis of complex embedded computer systems

引用

israel conference on computer systems and software engineering

作者： J.Z. Lavi M. Winokur A. Dagan R. Rokach Israel Aircraft Industries Ben Gurion International Airport Israel

IAI has been developing and using new methods for the analysis and the specification of embedded computer systems and their software for many years. The methods use extensively graphical tools. Most of the recently developed systems are large and composed of many loosely coupled systems each one of them being multi-level and multicomputer. engineering of these systems requires the formulation of adequate models and improved methods supporting their analysis. The successful development of these systems requires the definition and the analysis of their overall system dynamics in the very early phases of the project. The IAI methods and specification techniques improve significantly the development process. The paper describes the IAI concepts and techniques for the modeling, analysis and design of complex multi-level embedded computer systems, stressing their dynamic behavior. The approach is illustrated by a limited analysis of a naval anti missile point defense system. The paper discusses issues of work partitioning, validation and testing.< >

关键词： Embedded computing Military computing Missiles Aerospace electronics System testing Process control Logic testing Aircraft Aerospace industry computer industry

来源：评论

学校读者我要写书评

暂无评论

A selection of mistakes made in the acquisition and development of embedded systems

A selection of mistakes made in the acquisition and developm...

引用

israel conference on computer systems and software engineering

作者： A. Shimor Ingegneria Delle Frequenze

Despite the efforts spent in the recent years to create and establish the activity of generation and development of software as an engineering discipline, we are still far from this goal. The mainline effort centers around the attempts to create and enforce methodologies aimed at the various phases of hypothesised life cycles. Clearly, all the methodologies suggested and introduced are built upon the experience gained during the time, while the term 'experience' is most often associated with errors, mistakes and 'burnt fingers'. The author presents a selection of such errors and mistakes, collected from actual experience with real projects. The motivation to present and expose these errors is based on the notion that 'the wise are learning from the mistakes of others'.< >

关键词： Embedded system Testing Local area networks

来源：评论

学校读者我要写书评

暂无评论

OBSERV-object-oriented based specification, execution and rapid validation system

OBSERV-object-oriented based specification, execution and ra...

引用

israel conference on computer systems and software engineering

作者： S. Tyszberowicz A. Yehudai The Moise and Frida Eskenasy Institute of Computer Science The Raymond and Beverly Sackler Faculty of Exact Sciences Tel-Aviv University Tel-Aviv Israel

An innovative methodology for software development is described. The main objectives of the methodology are to allow rapid construction of an executable specification (or prototype) of a system, to support testing the prototype by means of simulation, to facilitate a smooth transition to a target system and to provide the means for reusing specification, design and code of subsystems. This is achieved by incorporating several known paradigms in a unique form. The basis is the object-oriented approach. The authors use an architectural language for describing the high level structure of a system and a state machine notation for describing individual object behavior. These two are separated to enhance reusability, which is achieved with the help of a knowledge base that holds existing designs. The methodology is supported by a collection of automated tools.< >

关键词： software prototyping Virtual prototyping Object oriented modeling Embedded system Control systems Programming System testing software quality Petri nets computer science

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共197页 << < 176 177 178 179 180 181 182 183 184 185 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：