咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
Analysis of Errors in Safety Critical Embedded System software in Aerial Vehicle  2nd
Analysis of Errors in Safety Critical Embedded System Softwa...
收藏 引用
2nd International Conference on Information, Communication and Computing Technology (ICICCT)
作者: Lakshmi, K. V. N. S. Kumar, Sanjeev DRDO Adv Syst Lab Hyderabad Telangana India
A study and analysis of software errors has been carried out. The present study analyzed approximately 400 errors of safety critical Navigation system software in 10 project variants. Framework used was: (i) Identific... 详细信息
来源: 评论
Towards Static Flow-based Declassification for Legacy and Untrusted Programs
Towards Static Flow-based Declassification for Legacy and Un...
收藏 引用
Symposium on Security and Privacy
作者: Rocha, Bruno P. S. Bandhakavi, Sruthi den Hartog, Jerry Winsborough, William H. Etalle, Sandro Eindhoven Univ Technol NL-5600 MB Eindhoven Netherlands Univ Texas San Antonio San Antonio TX USA Univ Twente NL-7500 AE Enschede Netherlands
Simple non-interference is too restrictive for specifying and enforcing information flow policies in most programs. Exceptions to non-interference are provided using declassification policies. Several approaches for e... 详细信息
来源: 评论
Web2MexADL: Discovery and Maintainability verification of software Systems Architecture
Web2MexADL: Discovery and Maintainability Verification of So...
收藏 引用
16th European Conference on software Maintenance and Reengineering (CSMR)
作者: Castrejon, Juan Lozano, Rafael Vargas-Solar, Genoveva Inst Tecnol & Estudios Super Monterrey Campus Ciudad Mexico Mexico City DF Mexico Ctr Natl Recherche Scientifique LIG LAFMIA Labs Paris France
This paper introduces Web2MexADL, a tool that can discover architectural documentation for web systems, by analyzing properties and relationships of their source code artifacts. This analysis is based on the use of pr... 详细信息
来源: 评论
software Qualification Approach for Safety-Critical software of the Embedded System
Software Qualification Approach for Safety-Critical Software...
收藏 引用
International Conference on Future-Generation Communication and Networking (FGCN 2012)/International Conference on Digital Contents and Applications (DCA 2012)
作者: Kim, Jangyeol Kim, Soongohn Joongbu Univ Div Comp & Game Sci 101 Daehakro Gumsangun 312702 Chungnam South Korea KAERI Instrumentat & Control & Human Factors Div Taejon 305353 South Korea
Programmable Logic Controller (PLC) is applied to a control system as major components in industrial functional safety facilities. This paper describes the safety-critical software qualification approach which corresp... 详细信息
来源: 评论
An Abstraction-Aware Compiler for VHDL Models
An Abstraction-Aware Compiler for VHDL Models
收藏 引用
International Conference on Computer Engineering and Systems
作者: Maksoud, Mohamed Abdel Pister, Markus Schlickling, Marc Univ Saarland D-66123 Saarbrucken Germany
Safety-critical hard real time systems as the flight control computer in avionics or airbag control software in the automotive industry need to be validated for their correct behavior. Besides the functional correctne... 详细信息
来源: 评论
Experience Report on Teaching Testing through Gamification  3
Experience Report on Teaching Testing through Gamification
收藏 引用
3rd International Workshop on Education through Advanced software Engineering and Artificial Intelligence (EASEAI)
作者: Lorincz, Beata Iudean, Bogdan Vescan, Andreea Babes Bolyai Univ Fac Math & Comp Sci Cluj Napoca Romania
software systems become increasingly complex and testing is a vital component of the development process. Teaching software testing concepts are now more than ever acknowledged as essential. The aim of this paper is t... 详细信息
来源: 评论
Un modele pour une satisfaction implicite des proprie tes d'Utilisabilite CARE pour les IHM multimodales
Un modele pour une satisfaction implicite des proprie tes d'...
收藏 引用
IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008
作者: Kamel, Nadjet Selouani, Sid-Ahmed Hamam, Habib Université de Moncton Campus de Shippagan Université de Moncton Campus de Moncton Canadian University Dubai Canada
No abstract available
来源: 评论
A taxonomy of metrics for GUI-based testing research: A systematic literature review
收藏 引用
INFORMATION AND software TECHNOLOGY 2022年 第0期152卷
作者: Coppola, Riccardo Alegroth, Emil Politecn Torino Dept Control & Comp Engn Turin Italy Blekinge Inst Technol Karlskrona Sweden
Context: GUI-based testing is a sub-field of software testing research that has emerged in the last three decades. GUI-based testing techniques focus on verifying the functional conformance of the system under test (S... 详细信息
来源: 评论
Qualification of Avionic software Based on Machine Learning: Challenges and Key Enabling Domains
收藏 引用
JOURNAL OF AEROSPACE INFORMATION SYSTEMS 2024年 第5期21卷 367-379页
作者: Vidot, Guillaume Gabreau, Christophe Ober, Ileana Ober, Iulian Univ Toulouse IRIT Airbus Operation SAS F-31062 Toulouse France Airbus Operat SAS 316 Route Bayonne F-31060 Toulouse France Univ Toulouse IRIT 118 Route Narbonne F-31062 Toulouse France Univ Toulouse Federat ENAC ISAE SUPAERO ONERA 10 Ave Edouard BelinBP 54032 F-31055 Toulouse 4 France
Advances in machine learning (ML) open the way to innovating functions in the avionic domain, such as navigation/surveillance assistance (e.g., vision-based navigation, obstacle sensing, virtual sensing), speech-to-te... 详细信息
来源: 评论
A Review of Trending Crowdsourcing Topics in software Engineering Highlighting Mobile Crowdsourcing and AI Utilization
收藏 引用
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 2023年 第4期14卷 777-786页
作者: Alghasham, Mohammed Alzakan, Mousa Al-Hagery, Mohammed Qassim Univ Coll Comp Dept Comp Sci Buraydah 51452 Saudi Arabia
Today's modern technologies and requirements make the utilization of crowdsourcing more viable and applicable. It is one of the problem-solving models that can be used in various domains to reduce costs and time. ... 详细信息
来源: 评论