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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

293 篇 会议
18 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

229 篇 工学
- 218 篇 计算机科学与技术...
- 109 篇 软件工程
- 23 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 生物医学工程（可授...
- 3 篇 机械工程
- 3 篇 建筑学
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
47 篇 理学
- 44 篇 数学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
14 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
1 篇 医学

主题

69 篇 logic programmin...
17 篇 answer set progr...
15 篇 inductive logic ...
12 篇 mathematical log...
11 篇 artificial intel...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 programming
10 篇 programming lang...
9 篇 software enginee...
9 篇 logic
7 篇 application soft...
7 篇 logic gates
7 篇 inductive logic ...
7 篇 semantics
7 篇 programming tech...
7 篇 system testing
6 篇 software enginee...
6 篇 machine learning
6 篇 algorithm analys...

机构

3 篇 new mexico state...
3 篇 univ calabria ar...
3 篇 tu wien inst log...
3 篇 tech univ dresde...
2 篇 technological ed...
2 篇 univ oxford oxfo...
2 篇 univ nebraska om...
2 篇 univ helsinki de...
2 篇 network operatio...
2 篇 univ freiburg in...
2 篇 inria lille nord...
2 篇 tech univ dortmu...
2 篇 ecole polytech i...
2 篇 univ paris 13 li...
2 篇 univ pisa dept c...
2 篇 tech univ munich...
2 篇 portland state u...
2 篇 univ london impe...
2 篇 katholieke univ ...
1 篇 bolsista do prog...

作者

4 篇 riguzzi fabrizio
4 篇 ricca francesco
3 篇 gaggl sarah alic...
3 篇 kramer stefan
3 篇 page david
3 篇 son tran cao
3 篇 srinivasan ashwi...
3 篇 froehler sebasti...
3 篇 alphonse erick
2 篇 muggleton stephe...
2 篇 giordano laura
2 篇 toivonen h.
2 篇 ong irene m.
2 篇 revoredo k.
2 篇 bellodi elena
2 篇 osmani aomar
2 篇 bryant christoph...
2 篇 ray oliver
2 篇 hutter dieter
2 篇 costa vitor sant...

语言

314 篇 英文
2 篇 中文
1 篇 葡萄牙文
1 篇 其他

检索条件"任意字段=16th International Conference on Inductive Logic Programming"

共 318 条记录，以下是271-280 订阅

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

详细简洁

排序：

Generation of functional test sequences from B formal specifications - Presentation and industrial case-study 16

Generation of functional test sequences from B formal specif...

引用

16th IEEE Annual international conference on Automated Software Engineering (ASE 2001)

作者： Legeard, B Peureux, F Univ Franche Comte Lab Informat F-25030 Besancon France

ISBN: (纸本)076951426X;0769514278

this paper presents an original method to generate test sequences. From formal specifications of the system to be tested, an equivalent system of constraints is derived, and then, the domain of each state variable of this system is partitioned into subdomains. Using this partition, limit states are computed with a specific solver that uses Constraint logic programming with sets. this specific solver is then used to build test sequences by traversing the constrained reachability graph of the specifications. Finally, the formal specifications is used as an oracle by using them to determine the expected output for a given input. the results of an industrial case-study of the Smart Card GSM 11-11 standard are presented and discussed.

关键词： specification-based testing B notation Constraint logic programming GSM 11-11 standard

来源：评论

学校读者我要写书评

暂无评论

An analysis-revision cycle to evolve requirements specifications 01

An analysis-revision cycle to evolve requirements specificat...

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： A.S. d'Avila Garcez A. Russo B. Nuseibeh J. Kramer Department of Computing Imperial College for Science London UK Computing Department Open University Milton Keynes UK

We argue that the evolution of requirements specifications can be supported by a cycle composed of two phases: analysis and revision. We investigate an instance of such a cycle, which combines two techniques of logica... 详细信息

ISBN: (纸本)076951426X

关键词： Information analysis Educational institutions Engineering management Heart Bridges Induction generators logic

来源：评论

学校读者我要写书评

暂无评论

Generation of functional test sequences from B formal specifications presentation and industrial case-study 01

Generation of functional test sequences from B formal specif...

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： B. Legeard F. Peureux Laboratoire d'Informatique Universita de Franche-Comté Besancon France

ISBN: (纸本)076951426X

the paper presents an original method to generate test sequences. From formal specifications of the system to be tested, an equivalent system of constraints is derived, and then the domain of each state variable of this system is partitioned into subdomains. Using this partition, limit states are computed with a specific solver that uses constraint logic programming with sets. this specific solver is then used to build test sequences by traversing the constrained reachability graph of the specifications. Finally, the formal specifications are used as an oracle by using them to determine the expected output for a given input. the results of an industrial case-study of the Smart Card GSM 11-11 standard are presented and discussed.

关键词： Formal specifications Content addressable storage logic testing System testing logic programming GSM Smart cards Performance evaluation Design engineering Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Certifying domain-specific policies 01

Certifying domain-specific policies

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： M. Lowry T. Pressburger G. Rosu Automated Software Engineering Group NASA Ames Research Center Moffett Field CA USA Research Institute for Advanced Computer Science NASA Ames Research Center Moffett Field CA USA

ISBN: (纸本)076951426X

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain-specific properties for compliance to safety policies. the paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated. Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. the architecture for a domain-specific certifier is described, followed by an implemented case study. the case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

关键词： logic programming Equations Software safety Computer languages Aerospace safety Product safety Certification Software engineering Computer science NASA

来源：评论

学校读者我要写书评

暂无评论

Developing generative frameworks using XML

Developing generative frameworks using XML

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： L. McLaren T. Wicks Searchspace Limited London UK

ISBN: (纸本)076951426X

Generative programming methods provide some significant advantages for the repeated deployment of product line architectures. the paper considers XML as a tool for building and describing applications that use generative programming methods. It describes techniques for the creation of a generative framework, presents a case study and discusses the results of practical application of these methods in a real world, enterprise scale, product line architecture. the paper presents the advantages of using an XML descriptor that can be easily transformed to generate both static and dynamically configurable software components for direct deployment in an application framework. Two implementation approaches are considered: an indirect approach using XSL for the transformations; and a direct approach where the XML descriptor is parsed and dealt with programmatically. the relative advantages of these two approaches are discussed. the paper provides practical examples and presents lessons learned from the application of the techniques.

关键词： XML Application software Job production systems Computer architecture Buildings Formal specifications Process control Databases logic Software engineering

来源：评论

学校读者我要写书评

暂无评论

Tracing execution of software for design coverage 01

Tracing execution of software for design coverage

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： R. Lencevicius E. Metz A. Ran Nokia Research Center Burlington MA USA

ISBN: (纸本)076951426X

Test suites are designed to validate the operation of a system against requirements. One important aspect of a test suite design is to ensure that system operation logic is tested completely. this is a difficult task. Code coverage tools support test suite designers by providing the information about which parts of source code are covered during system execution. Unfortunately, code coverage tools produce only source code coverage information. For a test engineer it is often hard to understand what the noncovered parts of the source code do and how they relate to requirements. We propose a generic approach that provides design coverage of the executed software, simplifying the development of new test suites. We demonstrate our approach on common design abstractions such as statecharts and structure diagrams. We implement the design coverage using tracing and a trace analysis framework. Using design coverage, test suites could be created faster by focussing on untested design elements.

关键词： Software design System testing logic testing logic design Instruments Radio access networks Automatic testing Formal languages programming profession Visualization

来源：评论

学校读者我要写书评

暂无评论

Test purposes: adapting the notion of specification to testing 01

Test purposes: adapting the notion of specification to testi...

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： Y. Ledru L. du Bousquet P. Bontron O. Maury C. Oriat M.-L. Potet Laboratorie Logiciels Systèmes Réseaux IMAG Saint Martin d'Heres France

ISBN: (纸本)076951426X

Nowadays, test cases may correspond to elaborate programs. It is therefore sensible to try to specify test cases in order to get a more abstract view of these. this paper explores the notion of test purpose as a way to specify a set of test cases. It shows how test purposes are exploited today by several tools that automate the generation of test cases. It presents the major relations that link test purposes, test cases and reference specification. It also explores the similarities and differences between the specification of test cases, and the specification of programs. this opens perspectives for the synthesis and the verification of test cases, and for other activities like test case retrieval.

关键词： Automatic testing System testing Performance evaluation logic testing programming Automation Software libraries Application software Collaboration Robots

来源：评论

学校读者我要写书评

暂无评论

10th international conference on inductive logic programming, ILP 2000

10th International Conference on Inductive Logic Programming...

引用

10th international conference on inductive logic programming, ILP 2000

ISBN: (纸本)354067795X

the proceedings contain 16 papers. the special focus in this conference is on inductive logic programming. the topics include: A new algorithm for learning range restricted horn expressions;a refinement operator for description logics;executing query packs in ILP;a logical database mining querylan guage;induction of recursive theories in the normal ILP setting;extending k-means clustering to first-order representations;theory completion using inverse entailment;solving selection problems using preference relation based on bayesian learning;concurrent execution of optimal hypothesis search for inverse entailment;using ILP to improve planning in hierarchical reinforcement learning;inverse entailment in nonmonotonic logic programs;a note on two simple transformations for improving the efficiency of an ILP system;searching the subsumption lattice by a genetic algorithm and new conditions for the existence of least generalizations under relative subsumption.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Relational learning for NLP using linear threshold elements

Relational learning for NLP using linear threshold elements

引用

16th international Joint conference on Artificial Intelligence, IJCAI 1999

作者： Khardon, Roni Roth, Dan Valiant, Leslie G. Division of Informatics University of Edinburgh Edinburgh EH9 3JZ United Kingdom Computer Science University of Illinois Urbana Urbana IL 61801 United States Engineering and Applied Sciences Harvard University Cambridge MA 02138 United States

We describe a coherent view of learning and reasoning with relational representations in the context of natural language processing. In particular, we discuss the Neuroidal Architecture, inductive logic programming and the SNoW system explaining the relationships among these, and thereby offer an explanation of the theoretical basis for the SNoW system. We suggest that extensions of this system along the lines suggested by the theory may provide new levels of scalability and functionality.

关键词： inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

programming resource-bounded deliberative agents

Programming resource-bounded deliberative agents

引用

16th international Joint conference on Artificial Intelligence (IJCAI 99)

作者： Fisher, M Ghidini, C Manchester Metropolitan Univ Dept Comp & Math Manchester M1 5GD Lancs England

ISBN: (纸本)1558606130

this paper is concerned with providing a common framework for both the logical specification and execution of agents. While numerous high-level agent theories have been proposed in order to model agents, such as theories of intention, these often have little formal connection to practical agent-based systems. On the other hand, many of the agent-based programming languages used for implementing 'real' agents lack firm logical semantics. Our approach is to define a logical framework in which agents can be specified, and then show how such specifications can be directly executed in order to implement the agent's behaviour. We here extend this approach to capture an important aspect of practical agents, namely their resource-bounded nature. We present a logic in which resource-boundedness can be specified, and then consider how specifications within this logic can be directly executed. the mechanism we use to capture finite resources is to replace the standard modal logic previously used to represent an agent's beliefs, with a multi-context representation of belief, thus providing tight control over the agent's reasoning capabilities where necessary. this logical framework provides the basis for the specification and execution of agents comprising dynamic (temporal) activity, deliberation concerning goals, and resource-bounded reasoning.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 23 24 25 26 27 28 29 30 31 32 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：