Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: an Em

K. S. H a n k s ; U n iv e rs ity o f V irg in ia ; C h a rlo tte s v ille , V irg in ia J. C. K n ig h t; U n iv e rs ity o f V irg in ia ; C h a rlo tte s v ille , V irg in ia K e y w o rd s : re q u ire m e n ts , n a tu ra l la n g u a g e , s a fe ty-c ritic a l A b s tra c t P o o r re q u ire m e n ts a re im p lic a te d in a d is p ro p o rtio n a te n u m b e r o f d e fe c ts in s a fe ty-c ritic a l s y s te m s , a s w e ll a s in s c h e d u le a n d c o s t o v e rru n s th a t fu rth e r b u rd e n re s o u rc e s. T o a firs t a p p ro x im a tio n , th e g re a te s t im p ro v e m e n t to s a fe ty-c ritic a l s o ftw a re q u a lity a n d to th e e ffic ie n c y o f th e d e v e lo p m e n t p ro c e s s is to b e g a in e d if a s u b s ta n tia l a d v a n c e in re q u ire m e n ts a c c u ra c y c a n b e a c h ie v e d. W e d is c u s s th e ro le o f d o m a in k n o w le d g e in re q u ire m e n ts a c c u ra c y , a n d d …