!!960124_091224
brain
image
!!960124_092001
Heart
pumping
movie
!!960130_100113
artifacts
!!960208_124227
tool execution
tool
!!960209_103901
Mandatory Access Controls
MAC
Discretionary Access Controls
DAC
security
access control
role-based access control
role based access control
RBAC
computer security
!!960214_140717
unravel
tool demo
slicing
program slicing
!!960227_100442
CASE
Tool evaluations
Compliance
Environment
GQM
Metrics
!!960227_100738
Metrics
Measurement theory
Complexity
Software complexity
Measures
Empirical research
Statistics
!!960227_100911
Resources
URL
Software engineering
Repositories
Libraries
!!960227_101135
Function point
IFPUG
Real-time
Metrics
Measurement
!!960227_101359
CMM
Metrics
Capability maturity model
Evaluation
Questionaires
!!960227_101544
Measurement theory
Software measurement
Software metrics validation
Metrics
Function point
Measures
Software complexity
!!960228_121500
data collection
error detection
error removal
high integrity software
metrics
software error analysis
software quality assurance
software verification and validation
statistical process control
!!960228_123919
basis testing
branch testing
complexity measure
cyclomatic Complexity
program testing
structured testing
testing
!!960228_124412
Documentation
Nuclear Power Plants
Project Management
Reliability
Reviews
Safety
Safety Evaluation
Software Configuration Management
Software Design
Software Quality Assurance
Software Requirements
Software Safety
Software Verification and Validation
Test
!!960228_125042
Reusable Software
Quality Characteristics
Software Reliability
Completeness
Correctness
Software Metrics
reuse
reliability
!!960228_125316
C++
safety
programming
dynamic binding
dynamic memory
data checking
!!960228_125838
High integrity software
project management
software assurance
software configuration management
software development
software hazard analysis
software quality assurance
software verification and validation
!!960228_130156
Criticality Assessment
System Hazard Analysis
Software Hazard Analysis
Event Tree Analysis
Hazard and Operability Studies
Nuclear Safety Cross Check Analysis
Petri Nets
Software Sneak Analysis
Failure Mode, Effects and Criticality Analysis
FMEA
Failure Mode Analyses Matrix
System Fault Tree
Software Fault Tree
CSHA
ETA
FMA
FMECA
FTA
Fault Tree Analysis
Nuclear Safety Cross Check Analysis
SDHA
SFMEA
SFMECA
Software Fault Tree Analysis
Software Requirements Hazard Analysis
!!960228_130454
formal methodsl
Z
Cleanroom
Software Cost Reduction
Gypsy
Hoare Logic
RAISE
TCAS
!!960229_085341
testability
sensitivity analysis: reliability
object-oriented
testing stoppage criteria
information hiding
information loss
fault-injection
software testing
propagation
safety-critical systems
fault detection
!!960301_141508
multiple artifacts
!!960522_103802
dynamic analysis
health care
independent verification and validation
knowledge-based systems
i reuse
software reuse
software development
software diagnostic tools
software verification and validation
static analysis
testing
validation
verification
verification and validation