LNCS 2788 Critical Feature Analysis of a Radiotherapy Machine 1st Edition by Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman ISBN 3540398783 9783540398783

LNCS 2788 – Critical Feature Analysis of a Radiotherapy Machine 1st Edition by Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman – Ebook PDF Instant Download/Delivery. 3540398783, 9783540398783

Full download LNCS 2788 – Critical Feature Analysis of a Radiotherapy Machine 1st Edition after payment

Product details:

ISBN 10: 3540398783 

ISBN 13: 9783540398783

Author:  Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman 

LNCS 2788 – Critical Feature Analysis of a Radiotherapy Machine 1st Edition: The software implementation of the emergency shutdown feature in a major radiotherapy system was analyzed, using a directed form of code review based on module dependences. Dependences between modules are labelled by particular assumptions; this allows one to trace through the code, and identify those fragments responsible for critical features. An ‘assumption tree’ is constructed in parallel, showing the assumptions which each module makes about others. The root of the assumption tree is the critical feature of interest, and its leaves represent assumptions which, if not valid, might cause the critical feature to fail. The analysis revealed some unexpected assumptions that motivated improvements to the code.

People also search for LNCS 2788 – Critical Feature Analysis of a Radiotherapy Machine 1st Edition:

critical features meaning
    
feature-analysis approaches
    
the feature-analysis theories
    
critical feature symbol
    
critical function analysis and recovery process