咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Trickle: Automated Infeasible Path Detection Using All Minimal Unsatisfiable Subsets  20
Trickle: Automated Infeasible Path Detection Using All Minim...
收藏 引用
20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) as part of the Cyber-Physical Systems Week
作者: Blackham, Bernard Liffiton, Mark Heiser, Gernot NICTA Sydney NSW Australia Univ New South Wales Sydney NSW Australia Illinois Wesleyan Univ Bloomington IL 61701 USA
Static analysis techniques can be used to compute safe bounds on the worst-case execution time (WCET) of programs. For large programs, abstractions are often required to curb computational complexity. These abstractio... 详细信息
来源: 评论
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
收藏 引用
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2010年 第2期6卷 145-154页
作者: Cengic, Goran Akesson, Knut Chalmers Univ Technol Dept Signals & Syst S-41296 Gothenburg Sweden
IEC 61499 is a standard architecture, based on function blocks, for developing distributed control and measurement applications. However, the standard has no formal semantics and different interpretations of the stand... 详细信息
来源: 评论
A CSP-theoretic framework of checking conformance of Business Processes
A CSP-theoretic framework of checking conformance of Busines...
收藏 引用
19th Asia-Pacific software Engineering Conference (APSEC)
作者: Roy, Suman Bihary, Sidharth Laos, Jose Alfonso Corso Infosys Ltd Infosys Labs Bangalore 560100 Karnataka India Pontificia Univ Catolica Chile Dept Ind Engn Santiago 340 Chile
In this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), whic... 详细信息
来源: 评论
Discussion on Traceability Analysis Method of Safety software in Nuclear Power Plants  4th
Discussion on Traceability Analysis Method of Safety Softwar...
收藏 引用
4th International Symposium on software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP)
作者: Gu, Peng-Fei He, Ya-Nan Tang, Jian-Zhong Ye, Wang-Ping China Nucl Power Engn Co Ltd I&C Equipemnt Qualificat & Software V&V Lab State Key Lab Nucl Power Safety Monitoring Techno Shenzhen 518172 Peoples R China
Nuclear power plant safety grade software performs important safety functions in nuclear power plants, and the consequences are very serious once the failure occurs. In order to ensure the safety and reliability of su... 详细信息
来源: 评论
Testing and validation of a multi-sensor distributed surveillance system
Testing and validation of a multi-sensor distributed surveil...
收藏 引用
7th International Caribbean Conference on Devices, Circuits and Systems
作者: Raty, T. Luo, M. Oikarinen, J. Nieminen, M. VTT Tech Res Ctr Finland FIN-90571 Oulu Finland
The Single Location Surveillance Point (SLSP) is an distributed indoor multi-sensor surveillance system. It incorporates an arbitrary amount of sensors that collect data from a single location, which is the surveillan... 详细信息
来源: 评论
software Test Case Minimization Using Modified Firefly Technique  9th
Software Test Case Minimization Using Modified Firefly Techn...
收藏 引用
9th International Congress on Information and Communication Technology (ICICT)
作者: Sobuj, Md Shazzad Ali Rizwan, Syed Akhond, Mostafijur Rahman Jashore Univ Sci & Technol Jashore 7400 Bangladesh
The step of software engineering that requires the utmost time and resources is software testing. Techniques for test case reduction are used to condense the test suite, saving time and resources in the process. The b... 详细信息
来源: 评论
TECHNICAL ARCHITECTURE ABOUT SAFETY I&C SYSTEM software V&V IN NUCLEAR POWER PLANT  25
TECHNICAL ARCHITECTURE ABOUT SAFETY I&C SYSTEM SOFTWARE V&V ...
收藏 引用
25th International Conference on Nuclear Engineering
作者: Wang, Shengchao Gu, Pengfei Ye, Wangping Chen, Weihua Design Inst China Nucl Power Engn Co LTD Shenzhen Peoples R China China Nucl Power Design Co LTD Shenzhen Peoples R China I&C Inst China Nucl Power Engn Co LTD Shenzhen Peoples R China
Digital instrumentation and control (I&C) system has been widely applied in nuclear power plant (NPP), which brings some new problems like software failure. The software failure is easy to come into being the comm... 详细信息
来源: 评论
Handling Backtracking for Symbolic Testing of Embedded software  24
Handling Backtracking for Symbolic Testing of Embedded Softw...
收藏 引用
24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Suresh, Varsha P. Chakrabarti, Sujit Kumar Jetley, Raoul Mohan, Devina IIIT B Bangalore Karnataka India ABB Corp Res Bangalore Karnataka India
Automated testing tools for programs written in IEC 61131-3 standard of programming languages supporting the development of PLC control software is less available. Symbolic execution is a program analysis technique th... 详细信息
来源: 评论
Critical software For Human Spaceflight: Orion Propulsion software from Development to Qualification
Critical Software For Human Spaceflight: Orion Propulsion So...
收藏 引用
AIAA Science and Technology Forum and Exposition (AIAA SciTech)
作者: Preden, Antonio Kaschner, Jens Rettig, Felix Rodriggs, Michael European Space Agcy Noordwijk Netherlands Airbus Def & Space Orion ESM PDE Software Tech Author Bremen Germany NASA Johnson Space Ctr Houston TX USA
This paper describes the development of the Propulsion Drive Electronics (PDE) Equipment software that provides the interface between the propulsion hardware of the European Service Module with the Orion flight comput... 详细信息
来源: 评论
M3: Semantic API Migrations  35
M<SUP>3</SUP>: Semantic API Migrations
收藏 引用
35th IEEE/ACM International Conference on Automated software Engineering (ASE)
作者: Collie, Bruce Ginsbach, Philip Woodruff, Jackson Rajan, Ajitha Boyle, Michael F. P. O. Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland GitHub Software UK Oxford England Univ Edinburgh Edinburgh Midlothian Scotland
Library migration is a challenging problem, where most existing approaches rely on prior knowledge. This can be, for example, information derived from changelogs or statistical models of API usage. This paper addresse... 详细信息
来源: 评论