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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

A black box framework for an application protocol stack 3

A black box framework for an application protocol stack

引用

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

作者： Conte, A Anquetil, LP Alcatel Alsthom Rech Corp Res Ctr F-91460 Marcoussis France

ISBN: (纸本)0769505597

This article proposes a framework based design for implementing application protocol stacks. According so protocol specifications, network applications are usually conceived through a layered software architecture centered around the concept of messages, sent ar received asynchronously. Of particular interest are application protocols residing oil transport? protocols. When implementing several application protocols, one should look for software reuse in order to promote modular design and limited development effort. Such a goal is reached through the use of a software framework, providing a clear separation between reusable protocol-generic parts and isolated protocol-specific parts. Such framework has been used to implement a protocol stack prototype. This latter experiment showed the power of a componentized object-oriented framework and of common object-oriented design patterns.

关键词： Access protocols application software Ear Electrical capacitance tomography Electronic mail Payloads Prototypes software prototyping software reusability Transport protocols

来源：评论

学校读者我要写书评

暂无评论

Improved testing using failure cost and intensity profiles 3

Improved testing using failure cost and intensity profiles

引用

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

作者： Ntafos, S Poceciun-Benson, V Dept. of Computer Science University of Texas at Dallas Richardson 75083-0688 TX United States

ISBN: (纸本)0769505597

The cost of field failures is arguably a very important factor in judging the quality of software. It would be nice if field failure costs could be used before the software is released so as to improve its quality. We introduced the expected cost of field failures [11] as a measure of rest effectiveness and demonstrated that significant benefits ale possible even with rather crude cost and failure rate estimates. In this paper we discuss the main issues that arise in trying to reduce the cost of field failures through better test effort allocation. We introduce improved models and strategies and present analytical and experimental (simulation) evaluations.

关键词： Computer science Costs Electrical capacitance tomography Frequency Input variables Radio access networks software reliability software testing Time measurement

来源：评论

学校读者我要写书评

暂无评论

How to obtain accurate estimates in a real-time environment using full function points 3

How to obtain accurate estimates in a real-time environment ...

引用

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

作者： Bootsma, F Nortel Networks Canada

ISBN: (纸本)0769505597

An extension to the current IFPUG function point counting practices method is presented. This extension, called Full Function Points, has enabled Nortel Networks project teams to more completely scope the functional size of real-time software projects and to produce early, accurate development estimates more consistently. Although the function point metric is widely used in many software organizations throughout the world to produce accurate design estimates early the real-time software industry acknowledges that the application of the IFPUG functional scoping method has not been sufficient to dl-ive consistently accurate estimates for real-time software projects. This paper illustrates how a Nortel Networks pilot has supplemented the IFPUG method using a Full Function Point approach, an approach that has pioneered the first successful application of Full Function Points to enable the generation of consistently accurate effort estimates in a real-time environment.

关键词： application specific integrated circuits Business Character recognition Companies Ear Electrical capacitance tomography Information technology Intelligent networks Job shop scheduling Programming

来源：评论

学校读者我要写书评

暂无评论

Design reuse and scale:: Keys to practical code generation and large scale software maintenance 3

<i>Design</i> reuse and scale:: Keys to practical code gener...

引用

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

作者： Baxter, ID Semantic Designs Inc. United States

ISBN: (纸本)0769505597

We advocate the reuse of design knowledge rather than code as the most Effective means for obtaining productivity and quality improvements in software engineering activities. This knowledge comes in several forms: domain analysis, generative knowledge, and knowledge of the structure of a particular system in terms of the domain and how domain concepts are implemented. We are building and using a practical large-scale software (re)engineering tool, the Design Maintenance System (DMS) that implements these ideas. Reusing design knowledge, DMS is able to automate many interesting engineering activities: analysis, reverse engineering, forward synthesis, and eventually software maintenance via Design Maintenance. Code reuse methods are incapable of providing strong support for these activities. However, many issues involved in DMS construction are driven by the scale of the problem: number of languages, sheer code volume, amount of knowledge involved, and computational energy required.

关键词： software maintenance design reuse domain parallel

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：