By spying on cancer cells, Novartis researchers have a made a preliminary discovery that could potentially shape how targeted therapies are combined to treat patients. Currently doctors use the genomic profile of a patient’s tumor to select drugs that will hit the right target and shrink the cancer. Targeted therapy has prolonged many lives, but most cancers come back, and these drug-resistant ...

A natural way to specify component-based systems is by an interface specification. Such a specification allows clients of a component to know not only its syntactic properties, as is current practice, but also its semantic properties. Any component implementation must be a behavioral refinement of its interface specification. We propose the use of executable specifications and a runtime monitor...