Software Safety - Globe Thesis

Keyword [Software Safety] Result: 21 - 40 \| Page: 2 of 3
21.	The Design And Implementation Of Front End Of Software Safety Checking Tool
22.	The Design And Implementation Of Symbol Table For Software Safety Checking Tools
23.	The Anti-crisis Growth Evaluation System Based On The Associated Risk Profile
24.	Research On Architecture-Oriented Method For Developing Software Safety Requirements
25.	The Software Safety Verification Methodology Based On Fault-extended Statecharts
26.	FTA Based Avionics Software Safety Verification Methodology
27.	Research On Software Safety Analysis Methodology Based On State/Event Fault Tree
28.	Research On Safety Testing For Airborne Software
29.	Extended Research On Software Safety Analysis Methodology Based On Safety Requirements
30.	Research On File Descriptor Leaking Based On Type Checking
31.	Research And Implementation Of Analysis For Numerical Properties Of Program Variables Based On Abstract Interpretation
32.	Research On Software Safety Testing Based On Safety Critical System
33.	Research On Verification Of Behaviors For SIGNAL Designed Multi-clock Embedded System
34.	Research For Abstract Interpretation Based On Configurable Program Analysis
35.	Research And Implementation Of Time Requirement Analysis Based On CCSL
36.	Research And Implemention Of Source Code Defect Scan Rules Based On Taint Analysis
37.	Design Of Software For Display And Control Of Inertial Navigation System And Research Of Data Transmission Security
38.	Fast Estimation And Optimization Of Worst-case Execution Time For Early Stage Of Software Development
39.	Development-oriented Software Security Testing Process Modeling And Development
40.	AADL-based Software Safety Analysis And Testing
<<First <Prev Next> Last>> Jump to