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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

49 篇 会议

馆藏范围

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

日期分布

学科分类号

23 篇 工学
- 23 篇 软件工程
- 19 篇 电气工程
- 4 篇 计算机科学与技术...
- 2 篇 信息与通信工程
- 1 篇 机械工程
- 1 篇 动力工程及工程热...
2 篇 理学
- 2 篇 数学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

15 篇 computer science
11 篇 electrical capac...
9 篇 software systems
9 篇 costs
8 篇 application soft...
8 篇 software mainten...
6 篇 software enginee...
6 篇 ear
5 篇 programming prof...
5 篇 real time system...
5 篇 design engineeri...
5 篇 software testing
4 篇 safety
4 篇 computer archite...
4 篇 prototypes
4 篇 systems engineer...
4 篇 identity-based e...
4 篇 mission critical...
4 篇 information tech...
4 篇 software tools

机构

2 篇 empirical softwa...
2 篇 florida atlantic...
2 篇 china electronic...
2 篇 virginia tech de...
2 篇 computer science...
2 篇 department of co...
1 篇 institute for so...
1 篇 computer science...
1 篇 florida atlantic...
1 篇 w virginia univ ...
1 篇 microsoft corpor...
1 篇 caltech jet prop...
1 篇 college of compu...
1 篇 the min. of indu...
1 篇 department of co...
1 篇 univ minnesota d...
1 篇 univ calif irvin...
1 篇 konkuk universit...
1 篇 university of ca...
1 篇 corporate resear...

作者

2 篇 allen eb
2 篇 khoshgoftaar tm
2 篇 t.m. khoshgoftaa...
2 篇 h.h. ammar
2 篇 w.b. frakes
2 篇 frakes wb
2 篇 e.b. allen
1 篇 woo hyong lee
1 篇 choi l
1 篇 b. huang
1 篇 v.s.s. nair
1 篇 pan cong
1 篇 huang b
1 篇 c.w. krueger
1 篇 ganesan k
1 篇 j.m. chang
1 篇 w.t. tsai
1 篇 chau sn
1 篇 yann-hang lee
1 篇 l.-p. anquetil

语言

49 篇 英文

检索条件"任意字段=3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology, ASSET 2000"

共 49 条记录，以下是11-20 订阅

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

详细简洁

排序：

An application of fuzzy clustering to software quality prediction 3

An application of fuzzy clustering to software quality predi...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Yuan, XH Khoshgoftaar, TM Allen, EB Ganesan, K Florida Atlantic Univ Dept Comp Engn & Sci Empir Software Engn Lab Boca Raton FL 33431 USA

ISBN: (纸本)0769505597

The ever increasing demand for high software reliability requires more robust modeling techniques for software quality prediction. This paper presents a modeling technique that integrates fuzzy subtractive clustering with module-order modeling for software quality prediction. First fuzzy subtractive clustering is used do predict the number of faults, then module-order modeling is used to predict whether modules are fault-prone or not. Note that multiple linear regression is a special case of fuzzy subtractive clustering. We conducted a case study of a large legacy telecommunication system to predict whether each module will be considered fault-prone. The case study found that using fuzzy subtractive clustering and module-order modeling, one can classify modules which will likely have faults discovered by customers with useful accuracy prior to release.

关键词： fuzzy logic fuzzy inference subtractive clustering software metrics software quality telecommunications systems

来源：评论

学校读者我要写书评

暂无评论

Designing user interface for Web interactive systems 3

Designing user interface for Web interactive systems

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： da Silva, AM de Barros, RSM Liesenberg, HKE Univ Estadual Maringa Dept Informat Maringa Parana Brazil

ISBN: (纸本)0769505597

The user interface design aims at enabling work and other activities to be performed more effectively, efficiently and with more enjoyment and satisfaction. User interface of multiuser Web applications is a medium where all objects being shared on it can be viewed indifferently from the geographical location and its users can interact with each other in real-time. Designing such an interface for users working collaboratively requires to deal with a number of issues. Herein, our concerns lies on the control component of Human-Computer Interaction design and corresponding User Interface (UI) software that implements it. Our interactive systems development process based on the MPX - Mapping from PAN (Protagonist Action Notation) into Xchart (eX-tended Statechart) is used to improve the product quality. Theta, we illustrate this methodological approach through a case study of a Web interactive system.

关键词： Collaborative software Collaborative work Computer interfaces Human computer interaction Informatics Interactive systems Physics software libraries Telecommunication computing User interfaces

来源：评论

学校读者我要写书评

暂无评论

Composing requirements for goal-oriented system behaviors using an extended form of use case 3

Composing requirements for goal-oriented system behaviors us...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Lee, Y Ryoo, J Stach, JF Park, EK Univ Missouri Kansas City MO 64110 USA

ISBN: (纸本)0769505597

Use Cases have been shown to be an effective construct to express system requirements in terms of environmentally visible behaviors. However, refinement of the Use Case into a set of corresponding system requirements is only indirectly supported by Use Case semantics that focus on environmental objects and their interaction with the system. In this paper we use a scenario-like extension to the Actor-Oriented Use Case called a System-Oriented Use Case which extends the Use Case to a set of system behaviors. We enrich the System-Oriented Use Case with a Fusion-like notation to encode the specification of system behaviors constrained by the Actor's role and in support of the Actor's goal. Our extensions produce incrementally less abstract requirements that terminate in Life Cycle expressions traceable to the Use Case and Actor. We provide formal definitions for role, goal and the responsibilities of liveness and safety.

关键词： Cities and towns Computer aided software engineering Computer science Contracts Design engineering Encoding Jacobian matrices Safety

来源：评论

学校读者我要写书评

暂无评论

Augmenting sequence constraints in Z and its application to testing 3

Augmenting sequence constraints in Z and its application to ...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Tsai, WT Agarwal, V Huang, B Paul, R Univ Minnesota Dept Comp Sci & Engn Minneapolis MN 55455 USA

ISBN: (纸本)0769505597

This paper introduces sequence constraints into a formal specification language Z. Formal specification languages have been used to specify safety-critical applications, and many static and dynamic aspects of the system can be specified. However, the method calling constraints, a runtime behavior, are often missed. This paper introduces two kinds of sequence constraints, those constraints with respect to a schema and those with respect to multiple schemas. Once sequence constraints al-e specified, together with parameter specifications already in Z, one can generate test cases including test inputs and their expected outputs using various testing strategies such as partition testing, boundary testing, random testing, stress testing, and negative testing. An application has been specified in Z using sequence constraints, and test cases generated have been used to test the software. The results show that the test cases generated successfully detected all the faults seeded.

关键词： application software Computer science Electrical capacitance tomography Formal specifications Mission critical systems Runtime Safety specification languages Stress Testing

来源：评论

学校读者我要写书评

暂无评论

Issues in realization of an execution time analyzer for distributed real-time objects 3

Issues in realization of an execution time analyzer for dist...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Kim, KH Choi, L Kim, MH Univ Calif Irvine Irvine CA 92697 USA

ISBN: (纸本)0769505597

An issue that the real-time software research community has long recognized as an important technological challenge but has not shown much progress in meeting the challenge is to guarantee response times of real-rime distributed systems. Two basic problems must be addressed to effectively meet this challenge: It establishment of the distributed real-time program structure and the system infrastructure structure that enable systematic analysis of the worst-case time behavior the application systems, and (2) development of tools which perform automated analysis of the worst-case time behavior while leaving only minimal work to the designers. Reseal ch on the first problem has produced some useful, results in recent years. Time is thus type for tackling the second problem on the basis of those recent developments in handling the first problem. This paper-describes a desirable systematic timing analysis process which builds upon the recent results in the first problem area. An outline of a desirable analysis tool is also presented.

关键词： Delay Identity-based encryption Moon Operating systems Performance analysis Protocols Real time systems Sockets Timing Yarn

来源：评论

学校读者我要写书评

暂无评论

Predicting testability of program modules using a neural network 3

Predicting testability of program modules using a neural net...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Khoshgoftaar, TM Allen, EB Xu, ZW Florida Atlantic Univ Dept Comp Sci & Engn Empir Software Engn Lab Boca Raton FL 33431 USA

ISBN: (纸本)0769505597

Voas defines testability as the probability that a test case will fail if the program has a fault. It is defined in the context of an oracle for the test, and a distribution of test cases, usually emulating operations. Because testability is a dynamic attribute of software, it is very computation-intensive to measure directly. This paper presents a case study of real-time avionics software to predict the testability of each module from static measurements of source code. The static software metrics take much less computation than direct measurement of testability. Thus,, a model based on inexpensive measurements could be an economical way to tale advantage of testability attributes during software development. We found that neural networks are a promising technique for building such predictive models, because they are able to model nonlinearities in relationships. Our goal is to predict a quantity between zero and one whose distribution is highly skewed toward zero. This is very difficult for standard statistical techniques. In other words, high-testability modules present a challenging prediction problem that is appropriate for neural networks.

关键词： testability neural network software metrics principal components analysis

来源：评论

学校读者我要写书评

暂无评论

How to manage real-time transactions in non-strict context 3

How to manage real-time transactions in non-strict context

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Saad-Bouzefrane, S Sadeg, B Univ Havre LIH F-76058 Le Havre France

ISBN: (纸本)0769505597

Real-Time Database Management systems (DBMSs) attempt to reach the double objective of maintaining both database logical and temporal consistency while attempting to enhance concurrency in transaction execution. This objective being difficult to reach and since some real-time applications need not to hardly respect this objective, some proposed work attempts to bring new concepts for relaxing transactions and/or data properties in real-time context, that might be respected in traditional DBMSs. According to data fluctuations and/or deadlines fluctuations there are some kinds of applications. In these applications, the key problem is to efficiently schedule real-time transactions that allow to manipulate inaccurate data and/or that have deadline overtaking. In this paper, we show that multimedia applications are the best candidate to the use of these notions which are tightly connected to eoS of these applications. And we propose transactions concurrency-control and scheduling protocols that allow to bound data imprecision while allowing some transactions' to execute beyond their deadlines by a bounded time quantity. These algorithms are based on the extended Earliest Deadline algorithm which cooperates with the transaction manager in order to deal with transactions concurrency control.

关键词： Concurrency control Concurrent computing Database systems Fluctuations Multimedia databases Pixel Protocols Real time systems Streaming media Transaction databases

来源：评论

学校读者我要写书评

暂无评论

Analysis of a multi-layer fault-tolerant COTS architecture for deep space missions 3

Analysis of a multi-layer fault-tolerant COTS architecture f...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Chau, SN Alkalai, L Tai, AT CALTECH Jet Prop Lab Pasadena CA 91109 USA

ISBN: (纸本)0769505597

Fault-tolerant systems are traditionally divided into fault containment regions and custom logic is added to ensure the effects of a fault within a containment region would not propagate to the other regions. This technique may not be applicable in a commercial-off-the-shelf (COTS) based system. While COTS technology is attractive due to its low cost. they are nor developed with the same level of rigorous fault tolerance in mind. Furthermore, COTS suppliers usually have no interest to add any overhead or sacrifice performance to implement fault-tolerance for a narrow market of high reliability applications. To over come this shortcoming, Jet Propulsion Laboratory (JPL) has developed a multi-layer fault protection methodology to achieve high reliability ill COTS-based avionics systems. This methodology has been applied to the bus architecture that uses the COTS bus interface standards ieee 1394 and (IC)-C-2. This paper-first gives an overview of the multi-layer fault-protection design methodology for COTS-based mission-critical systems. Then the effectiveness of the methodology is analyzed in terms of coverage and cost. The results ale compared to the traditional custom designed system.

关键词： Aerospace electronics Costs Design methodology Fault tolerance Fault tolerant systems Laboratories Logic Mission critical systems Propulsion Protection

来源：评论

学校读者我要写书评

暂无评论

Regressive model approach to the generation of test trajectories 3

Regressive model approach to the generation of test trajecto...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Taylor, BJ Cukic, B Inst Software Res Fairmont WV 26554 USA

ISBN: (纸本)0769505597

One aspect of system safety assurance is the application of large test sets. To aid in the development of test cases, researchers have investigated automated test generation systems which decrease the time and cost of acquiring new tests. Many automated systems currently exist, but few address the generation of trajectories of data. A trajectory is defined as a series of data points with each point relying upon the state of the system and previous point values. Examples of trajectories include an airplane's flight path ol data describing a nuclear reaction. This paper describes an original approach to test trajectory generation using statistical regression models. An existing small set of trajectories is utilized to build regressive models. Then, the independent variables of the model can be pel tui bed, providing the basis for the use of the regressive model in the generation of new trajectories. A case study has been conducted within the scope of testing the sensor failure detection, identification, and accommodation (SFDIA) flight control scheme. We report and evaluate the results of this case study.

关键词： Aerospace safety Automatic testing Control systems Costs Ear Electronic switching systems Identity-based encryption Process control Reactive power System testing

来源：评论

学校读者我要写书评

暂无评论

A toolsuite for testing analysis of real-time Ada applications 3

A toolsuite for testing analysis of real-time Ada applicatio...

引用

3rd ieee symposium on application-specific systems and software engineering technology

作者： Lee, YH Byun, Y Xiao, J Goh, O Wong, WE Lee, A Univ Florida Gainesville FL 32611 USA

ISBN: (纸本)0769505597

software testing is one of the most expensive phases in the software life cycle. Even for the best commercial grade software, it seldom contains fewer than 100 faults pel million lines of code. These faults result in failures and costs for customers which software manufactures are motivated to avoid. It is not unusual for manufacturers to spend 40% or more of their software budgets on testing in an effort to eliminate these faults. Hence, it is very important to provide a solution, supported by tools, which not only can reduce the cost but also improve the quality. In this paper, we describe our effort in developing an Ada program instrumentation environment, Ada-PINE, for testing real-time Ada programs. This tool can help developers and testers in many ways such as determining how well the software has been tested, displaying the code that has not been executed, and improving the code coverage in the most effective way. It can also conduct test set minimization with respect to code coverage and select effective fault-revealing regression tests.

关键词： Costs Flow graphs Instruments Life testing NASA software maintenance software testing software tools Space shuttles Space technology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：