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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

88 篇 会议
47 篇 期刊文献
1 篇 科技报告

馆藏范围

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

日期分布

学科分类号

76 篇 工学
- 46 篇 电气工程
- 34 篇 计算机科学与技术...
- 17 篇 信息与通信工程
- 13 篇 控制科学与工程
- 13 篇 软件工程
- 8 篇 航空宇航科学与技...
- 6 篇 核科学与技术
- 5 篇 机械工程
- 3 篇 力学（可授工学、理...
- 2 篇 材料科学与工程（可...
- 2 篇 测绘科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 石油与天然气工程
7 篇 理学
- 4 篇 物理学
- 3 篇 地球物理学
- 1 篇 天文学
- 1 篇 大气科学
4 篇 管理学
- 4 篇 管理科学与工程(可...
2 篇 医学
- 2 篇 临床医学

主题

136 篇 software verific...
20 篇 software require...
16 篇 software reliabi...
14 篇 software tools
12 篇 software testing
11 篇 real time system...
9 篇 modeling
9 篇 software enginee...
9 篇 system analysis ...
8 篇 specification la...
6 篇 software quality
6 篇 software mainten...
5 篇 software prototy...
4 篇 software debuggi...
4 篇 simulation
4 篇 safety
4 篇 model checking
4 篇 communication sy...
4 篇 software develop...
4 篇 graphical user i...

机构

2 篇 nicta nsw
2 篇 inrs telecommun ...
2 篇 british telecomm...
2 篇 univ alcala spac...
2 篇 soka univ hachio...
2 篇 chalmers univ te...
2 篇 nasa goddard spa...
2 篇 univ new south w...
1 篇 johns hopkins un...
1 篇 centre for softw...
1 篇 univ so calif de...
1 篇 blekinge institu...
1 篇 earth observatio...
1 篇 friedrich alexan...
1 篇 ericsson microwa...
1 篇 univ toulouse fe...
1 篇 usn dept comp sc...
1 篇 rex thompson and...
1 篇 technical resear...
1 篇 faculty of elect...

作者

3 篇 parra pablo
3 篇 sanchez sebastia...
3 篇 akesson knut
3 篇 polo oscar r.
2 篇 ohta t
2 篇 heiser gernot
2 篇 da silva antonio
2 篇 i.m. o'neill
2 篇 blackham bernard
2 篇 griffeth n
2 篇 cengic goran
2 篇 blumenthal r
2 篇 gregoire jc
1 篇 riu pere j.
1 篇 foley sn
1 篇 al-shomrani moha...
1 篇 al-marghirani ab...
1 篇 j.c. jacobs
1 篇 b. sowerbutts
1 篇 murchie scott l.

语言

131 篇 英文
3 篇 其他
1 篇 法文
1 篇 中文

检索条件"主题词=Software verification and validation"

共 136 条记录，以下是81-90 订阅

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

详细简洁

排序：

Program development with SPARK

Program development with SPARK

引用

IEE Colloquium on High Integrity Ada

作者： B. Carre Validation Limited Southampton UK

SPARK is an annotated subset of Ada for high-integrity programming. This subset, in conjunction with its system of annotations (formal comments), is designed to eliminate language ambiguities and insecurities, and to allow rigorous static code analysis and formal verification of programs. The development, flow analysis and correctness proof of SPARK programs is supported by a software tool, the SPARK Examiner. The paper outlines the essential features of SPARK and explains how the Examiner is used in program development.< >

关键词： Ada software verification and validation software reliability software tools

来源：评论

学校读者我要写书评

暂无评论

An empirical study of an ER-model inspection meeting

An empirical study of an ER-model inspection meeting

引用

EUROMICRO Conference

作者： Rombach Kude Aurum Jeffery Wohlin Computer Science and Economics University of Mannheim Germany School of Information Systems Technology and Management University of New South Wales Australia School of Computer Science and Engineering University of New South Wales Australia NICTA Australia Blekinge Institute of Technology Sweden

A great benefit of software inspections is that they can be applied at almost any stage of the software development life cycle. We document a large-scale experiment conducted during an entity relationship (ER) model inspection meeting. The experiment was aimed at finding empirically validated answers to the question "which reading technique has a more efficient detection rate when searching for defects in an ER model". Secondly, the effect of the usage of roles in a team meeting was also explored. Finally, we investigate the reviewers' ability to find defects belonging to certain defect categories. The findings showed that the participants using a checklist had a significantly higher detection rate than the ad hoc groups. Overall, the groups using roles had a lower performance than those without roles. Furthermore, the findings showed that when comparing the groups using roles to those without roles, the proportion of syntactic and semantic defects found in the number of overall defects identified did not significantly differ.

关键词： software requirements and specifications software metrics software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Vehicle control systems-reliability through simplicity

Vehicle control systems-reliability through simplicity

引用

IEE Colloquium on Safety Critical software in Vehicle and Traffic Control

作者： T. Moon Forest Farm Industrial Estate Automotive Electronics Limited Cardiff UK

Vehicle electronic control systems have the potential to become unreliable when they grow too complex. By careful design of the whole system, both hardware and software, it is possible to organise the data processing tasks in such a way that the risks associated with software failure are indeed minimal. The validation tools already in widespread use throughout the industry, when rigorously applied, reduce this risk to below that associated with hardware design failures. The paper concerns the programmable automotive microcontroller (PAM), an ASIC-based device developed by AB Automotive Electronics to improve reliability. It describes ways in which PAM can detect errors arising from various sources in software. AB has written, and maintains, its own compiler for PAM. The compiler gives warnings of possible sources of difficulty. Standards for software and the development thereof are given.< >

关键词： Road vehicle electronics Microcontrollers Program compilers software debugging software verification and validation Road vehicles software reliability Standards

来源：评论

学校读者我要写书评

暂无评论

A LISP-based environment for animating Z specifications

A LISP-based environment for animating Z specifications

引用

IEE Colloquium on Automating Formal Methods for Computer Assisted Prototying,

作者： I. Morrey J. Siddiqi J. Briggs G. Buckberry

Summary form only given. ZAL (Z Animation in LISP) is a package of extensions to Common LISP which allows a Z specification to be incrementally designed and validated in an interactive environment. A Z specification is transformed into an equivalent ZAL program which can be executed in order to demonstrate the functionality of the intended implementation. The aim has been to ensure that the transformation rules are simple and mechanical, so that the ZAL version is essentially a rewrite of the original Z. A substantial subset of the Z notation has now been implemented in ZAL, and the package has been used to animate a collection of non-trivial Z specifications. A full-screen editor for Z has also been implemented as a basis for a front-end which will ultimately hide the underlying LISP notation from users of the system. Not only does the package provide facilities for users to validate their own specifications, but it interactive nature also encourages and supports an experimental approach as a valid technique for the development of Z specifications.< >

关键词： software requirements and specifications Interactive systems LISP software verification and validation software tools

来源：评论

学校读者我要写书评

暂无评论

What are we assessing: compliance, adequacy or function?

What are we assessing: compliance, adequacy or function?

引用

IEE Colloquium on Assessment and Certification of software

作者： B.W. Finnie I.H.A. Johnston Centre for Software Engineering Limited Flixborough UK

The article is based on the authors' experience and primarily on experience of assessing safety related programmable electronic systems (PESs). Therefore the thoughts expressed are directed principally towards safety, or lack of it, and PESs. The authors believe that it is possible to identify at least three important components of assessment, addressing three different aspects of what it is that the authors are trying to assess: assessment of compliance (the objective assessment of a system's compliance with a standard or standards); assessment of adequacy (the subjective assessment a system's fitness for purpose); and assessment of function (the validation of a system to assess whether it fulfils its specified functions).< >

关键词： software verification and validation Safety software metrics software quality software reliability Standards

来源：评论

学校读者我要写书评

暂无评论

Is the need for measurement an admission that formal methods are not perfect?

Is the need for measurement an admission that formal methods...

引用

Second IEE/BCS Conference: software Engineering, 1988 software Engineering 88.

作者： S.G. Stockman A.A. Kaposi British Telecommunications Research Laboratories UK CSSE and Kaposi Associates UK

The strategic significance of system and software quality to industry, commerce and the community at large is now widely recognised by all, including government. Two main philosophies are currently pursued to quality assurance: the accreditation procedure of the software development process itself through schemes such as BS5750 and the proof of software correctness through the use of formal methods. The authors explore the extent to which these philosophies singly or collectively, satisfy industry's obligation to produce high quality software.< >

关键词： software verification and validation Quality control software engineering software reliability

来源：评论

学校读者我要写书评

暂无评论

Proceedings 18th IEEE International Conference on Automated software Engineering

Proceedings 18th IEEE International Conference on Automated ...

引用

IEEE International Conference on Automated software Engineering (ASE)

The following topics are discussed: requirements, interfaces, and groupware; software architectures and distributed systems; model checking; software components; software evolution and maintenance; and automated softw... 详细信息

关键词： software verification and validation Temporal logic Message passing software engineering Tree searching

来源：评论

学校读者我要写书评

暂无评论

Model Driven Testing of Embedded Automotive Systems with Timed Usage Models

Model Driven Testing of Embedded Automotive Systems with Tim...

引用

2010 IEEE International Conference on Vehicular Electronics and Safety(2010 IEEE 汽车电子与安全国际会议)

作者： Sebastian Siegl Kai-Steffen Hielscher Reinhard German University Erlangen-Nuremberg Martensstr.391058 Erlangen Germany University Erlangen-NurembergMartensstr.391058 Erlangen Germany University Erlangen-Nuremberg Martensstr.3 91058 Erlangen Germany

Extended Automation Method 2.0 (EXAM) is employed at AUDI AG to perform the testing of automotive systems. The main drawback of EXAM is, that each test case must be devised and created individually. This procedure is apparently awkward and errorprone. Moreover, the development of increasingly complex functionality poses new challenges to the testing routine in industry. We employed Timed Usage Models to extend the EXAM test method. The usage model serves as the basis for the whole testing process, including test planning and test case generation. We derived automatically platform independent test cases for the execution in EXAM. Testbench specific code was automatically generated for the test cases in EXAM, where they were executed on hardwareintheloop simulators (HILs). Usage models were created for functionalities from power train, comfort, and energy management. The application of usage models allowed the assessment of the test effort and the systematic generation of test cases.

关键词： software verification and validation Real Time Systems Modeling Road Vehicle Electronics Reliability

来源：评论

学校读者我要写书评

暂无评论

validation methods using formal techniques

Validation methods using formal techniques

引用

Third International Conference on software Engineering for Real Time Systems, 1991.

作者： P.J. Probert D. Lamb University of oxford UK

The need for reliable software has rapidly overtaken the ability to produce it. In control applications, particularly disastrous results may arise from errors. For many years computer scientists have been developing languages and techniques to clarify the structure of programs through establishing a sound mathematical foundation. The techniques included under the general umbrella of formal methods have been introduced especially to put the design phase of program onto an analytical basis. The authors examine their application in control systems, and especially their applicability in verifying and validating control software. The context of the article is a programme of research in developing validation techniques in control using formal methodologies. The author examines: application areas and benefits for industrial control; establishment of control software integrity; and examples of formal methods in control systems.< >

关键词： Design automation Control systems Logic Industrial control software verification and validation software reliability

来源：评论

学校读者我要写书评

暂无评论

Code verification with the aid of MALPAS

Code verification with the aid of MALPAS

引用

IEE Colloquium on High Integrity Ada

作者： N.J. Ward Rex Thompson and Partners Limited

The technique of static analysis has, for some time now, been recognised as a technique necessary for the verification of critical software. Typically static analysis is performed by the use of automatic tools. One such tool, widely used for the verification of safety critical software, particularly in the fields of military avionics and nuclear power, is MALPAS. The advantages of this particular tool are that, not only does it perform the simpler analyses of code structure and data and information flow, but it also reveals the semantics of the code under analysis which may be manually or automatically compared against specifications to verify the code.< >

关键词： Ada software verification and validation Safety software reliability software tools

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共14页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：