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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,409 篇 会议
50 篇 期刊文献
33 册 图书

馆藏范围

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

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

检索条件"任意字段=12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1492 条记录，以下是1381-1390 订阅

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

详细简洁

排序：

Using latent semantic analysis to identify similarities in source code to support program understanding 12

Using latent semantic analysis to identify similarities in s...

引用

12th IEEE international conference on tools with Artificial Intelligence (ICTAI 2000)

作者： Maletic, JI Marcus, A Univ Memphis Dept Math Sci Div Comp Sci Memphis TN 38152 USA

ISBN: (纸本)0769509096;076950910X

the paper describes the results of applying Latent Semantic analysis (LSA), an advanced information retrieval method, to program source code and associated documentation. Latent Semantic analysis is a corpus-based statistical method for inducing and representing aspects of the meanings of words and passages (of natural language) reflective in their usage. this methodology is assessed for application to the domain of software components (i.e., source code and its accompanying documentation). Here LSA is used as the basis to cluster software components. this clustering is used to assist in the understanding of a nontrivial software system, namely a version of Mosaic. Applying Latent Semantic analysis to the domain of source code and internal documentation for the support of program understanding is a new application of this method and a departure from the normal application domain of natural language.

关键词： Application software Computer architecture Computer science Documentation Information analysis Information retrieval Natural languages Software maintenance Software systems Statistical analysis

来源：评论

学校读者我要写书评

暂无评论

CASL: From semantics to tools

CASL: From semantics to tools

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Mossakowski, T Univ Bremen Dept Comp Sci D-28334 Bremen Germany Univ Bremen Bremen Inst Safe Syst D-28334 Bremen Germany

ISBN: (纸本)3540672826

CASL, the common algebraic specification language, has been developed as a language that subsumes many previous algebraic specification frameworks and also provides tool interoperability. CASL is a complex language with a complete formal semantics. It is therefore a challenge to build good tools for CASL. In this work, we present and discuss the Bremen HOL-CASL system, which provides,parsing, static checking, conversion to LATEX and theorem proving for: CASL specifications. To make tool construction manageable, we have followed some guidelines: re-use of existing tools, interoperability of tools developed at different sites, and construction of generic tools that can be used for several languages. We describe the structure of and the experiences with our tool and discuss how the guidelines work in practice.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Efficient diagnostic generation for Boolean Equation systems

Efficient diagnostic generation for Boolean Equation Systems

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Mateescu, R INRIA Rhone Alpes VASY F-38330 Montbonnot St Martin France

ISBN: (纸本)3540672826

Boolean Equation systems (BESs) provide a useful framework for the verification of concurrent finite-state systems. In practice, it is desirable that a BES resolution also yields diagnostic information explaining, preferably in a concise way, the truth value computed for a given variable of the BES. Using a representation of BESs as extended boolean graphs (EBGs), we propose a characterization of full diagnostics (i.e., both examples and counterexamples) as a particular class of subgraphs of the EBG associated to a BES. We provide algorithms that compute examples and counterexamples in linear time and can be straightforwardly used to extend known (global or local) BES resolution algorithms with diagnostic generation facilities.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Modeling software quality: the software measurement analysis and reliability toolkit 12

Modeling software quality: The software measurement analysis...

引用

12th IEEE international conference on tools with Artificial Intelligence (ICTAI 2000)

作者： Khoshgoftaar, TM Allen, EB Busboom, JC Florida Atlantic Univ Boca Raton FL 33431 USA

ISBN: (纸本)0769509096;076950910X

this paper presents the Software Measurement analysis and Reliability Toolkit (SMART) which is a research tool for software quality modeling using case-based reasoning (CBR) and other modeling techniques. Modern software systems must have high reliability. Software quality models are tools for guiding reliability enhancement activities to high-risk modules for maximum effectiveness and efficiency. A software quality model predicts a quality factor, such as the number of faults in a module, early in the life cycle in time for effective action. Software product and process metrics can be the basis for such fault predictions. Moreover, classification models can identify fault-prone modules. CBR is an attractive modeling method based on automated reasoning processes. However, to our knowledge, few CBR systems for software quality modeling have been developed. SMART addresses this area. there are currently three types of models supported by SMART: classification based on CBR, CBR classification extended with cluster analysis, and module-order models, which predict the rank-order of modules according to a quality factor. An empirical case study of a military command, control, and communications applied SMART at the end of coding. the models built by SMART had a level of accurracy that could be very useful to software developers. Keywords: software reliability, case-based reasoning, data clustering, module-order model, software quality models, analogy models, software tools, fault-prone.

关键词： Automatic testing Fault diagnosis Military communication Predictive models Q factor Software measurement Software quality Software reliability Software systems System testing

来源：评论

学校读者我要写书评

暂无评论

FMona: A tool for expressing validation techniques over infinite state systems

FMona: A tool for expressing validation techniques over infi...

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Bodeveix, JP Filali, M Univ Toulouse 3 IRIT F-31062 Toulouse France

ISBN: (纸本)3540672826

In this paper, we present a generic tool, called FMona, for expressing validation methods. we illustrate its use through the expression of the abstraction technique and its application to infinite or parameterized space problems. After a review of the basic results concerning transition systems, we show how abstraction can be expressed within FMona and used to build a reduced system with decidable properties. the FMona tool is used to express the validation steps leading to synthesis of a finite abstract system;then SMV and/or Mona validate its properties.

关键词： abstraction transition systems model checker monadic second order logic

来源：评论

学校读者我要写书评

暂无评论

On the construction of live timed systems

On the construction of live timed systems

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Bornot, S Gössler, G Sifakis, J VERIMAG F-38610 Gieres France

ISBN: (纸本)3540672826

We present a method that allows to guarantee liveness by construction of a class of timed systems. the method is based on the use of a set of structural properties which can be checked locally at low cost. We provide sufficient conditions for liveness preservation by parallel composition and priority choice operators. the latter allow to restrict a system's behavior according to a given priority order on its actions. We present several examples illustrating the use of the results, in particular for the construction of live controllers.

关键词： Time sharing systems

来源：评论

学校读者我要写书评

暂无评论

BDD vs. constraint-based model checking: An experimental evaluation for asynchronous concurrent systems

BDD vs. constraint-based model checking: An experimental eva...

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Bultan, T Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA

ISBN: (纸本)3540672826

BDD-based symbolic model checking has been successful in verification of a wide range of systems. Recently, constraint-based approaches, which use arithmetic constraints as a symbolic representation, have been used in symbolic model checking of infinite-state systems. We argue that use of constraint-based model checking is not limited to infinite-state systems. It can also be used as an alternative to BDD-based model checking for systems with integer variables which have finite but large domains. In this paper we investigate the trade-offs between these two approaches experimentally. We compare the performance of BDD-based model checker SMV to the performance of our constraint-based model checker on verification of several asynchronous concurrent systems. the results indicate that constraint-based model checking is a viable option for verification of asynchronous concurrent systems with large integer domains.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Abstracting WS1S systems to verify parameterized networks

Abstracting WS1S systems to verify parameterized networks

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Baukus, K Bensalem, S Lakhnech, Y Stahl, K Univ Kiel Inst Appl Math & Sci Comp D-24105 Kiel Germany VERIMAG Ctr Equat F-38610 Gieres France

ISBN: (纸本)3540672826

We present a method that allows to verify parameterized networks of finite state processes. Our method is based on three main ideas. the first one consists in modeling an infinite family of networks by a single WS1S transition system, that is, a transition system whose variables are set (2nd-order) variables and whose transitions are described in WS1S. then, we present methods that allow to abstract a WS1S system into a finite state system that can be model-checked. Finally, in order to verify liveness properties, we present an algorithm that allows to enrich the abstract system with strong fairness conditions while preserving safety of the abstraction. We implemented our method in a tool, called PAX, and applied it to several examples.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

12th international conference on Computer Aided Verification, CAV 2000

12th International Conference on Computer Aided Verification...

引用

12th international conference on Computer Aided Verification, CAV 2000

ISBN: (纸本)3540677704

the proceedings contain 48 papers. the special focus in this conference is on Computer Aided Verification. the topics include: Applying formal methods to cryptographic protocol analysis;Boolean satisfiability algorithms and applications in electronic design automation;verification of infinite-state and parameterized systems;an abstraction algorithm for the verification of generalized c-slow designs;achieving scalability in parallel reachability analysis of very large circuits;an automata-theoretic approach to reasoning about infinite-state systems;automatic verification of parameterized cache coherence protocols;binary reachability analysis of discrete pushdown timed automata;Boolean satisfiability with transitivity constraints;bounded model construction for monadic second-order logics;combining decision diagrams and sat procedures for efficient symbolic model checking;on the completeness of compositional reasoning;counterexample-guided abstraction refinement;decision procedures for inductive Boolean functions based on alternating automata;a discrete strategy improvement algorithm for solving parity games;efficient algorithms for model checking pushdown systems;efficient detection of global properties in distributed systems using partial-order methods;efficient reachability analysis of hierarchical reactive machines;formal verification of VLIW microprocessors with speculative execution;liveness and acceleration in parameterized verification;mechanical verification of an ideal incremental ABR conformance algorithm;model checking continuous-time Markov chains by transient analysis;model-checking for hybrid systems by quotienting and constraints solving;efficient reachability analysis for verification and falsification and symbolic techniques for parametric reasoning about counter and clock systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A formal specification and validation of a critical system in presence of Byzantine errors

A formal specification and validation of a critical system i...

引用

6th international conference on tools and algorithms for the construction and analysis of systems at the European conference on theory and Practice of Software

作者： Gnesi, S Latella, D Lenzini, G Abbaneo, C Amendola, A Marmo, P CNR Ist Elaborazione Informaz I-00185 Rome Italy CNR CNUCE I-00185 Rome Italy

ISBN: (纸本)3540672826

this paper describes an experience in formal specification and fault tolerant behavior validation of a railway critical system. the work, performed in the context of a real industrial project, had the following main targets: (a) to validate specific safety properties in the presence of byzantine system components or of some hardware temporary faults;(b) to design a formal model of a critical railway system at a right level of abstraction so that could be possible to verify certain safety properties and at the same time to use the model to simulate the system. For the model specification we used the PROMELA language, while the verification was performed using the SPIN model checker. Safety properties were specified by means of both assertions and temporal logic formulae. To make the problem of validation tractable in the SPIN environment, we used ad hoc abstraction techniques.

关键词： safety critical systems formal verifications fault tolerant behavior linear temporal logic model checking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 135 136 137 138 139 140 141 142 143 144 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：