Learn More
Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called(More)
the salient feature of cancer is uncontrolled cell growth and proliferation, the most life-threatening form of the disease occurs in the latter stages as tumours acquire the ability to invade and metastasize to other sites in the organism. During the progression to malignancy, changes in the regulation of motility and invasive properties of tumour cells(More)
  • 1