Cancer treatment planning: Formal methods to the rescue

  • Janos L. Mathe ,
  • Janos Sztipanovits ,
  • Mia Levy ,
  • ,
  • Wolfram Schulte

2012 4th International Workshop on Software Engineering in Health Care (SEHC) |

Published by IEEE

Publication

Download BibTex

This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable