Catherine Menon

  • Citations Per Year
Learn More
Several anthraquinones containing the [2-[(2-hydroxyethyl)amino]ethyl]amino, the [2-(dimethylamino)ethyl]amino, and the 2-(dimethylamino)ethoxy groups were prepared. Preparation of a lucanthone analogue, a 7-chloroquinoline derivative, and derivatives of naphthoquinones containing the [2-[(2-hydroxyethyl)amino]ethyl]amino side chain and related(More)
Defence Standard 00-56 Issue 4 is goal-based, and requires system developers to demonstrate how they have achieved safety. To this end, evidence is used to support claims relating to software safety. One of the most subtle questions when constructing a safety argument is the determination of whether the evidence presented is sufficient to assure the safety(More)
Rosetta is a systems level design language that allows algebraic specification of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra,(More)
Inconsistency management in component-based languages is the identification and resolution of conflicting constraints or expectations between the different components which make up a system. Here we present a category theoretical framework for detecting and classifying those inconsistencies which can arise throughout a simulation. In addition, the framework(More)
Cu-based shape memory alloys are known for their technologically important pseudo-elastic and shapememory properties, which are intimately associated with the martensitic transformation. A combination of deformation theory and finite-strain elasticity theory has been employed to arrive at the expressions for higher order elastic constants of Cu-Al-Zn based(More)
Defence Standard 00-56 Issue 4 is the current contractual safety standard for UK MOD projects. It requires the production of a structured argument, supported by diverse evidence, to show that a system is safe for a defined purpose within a defined environment. This paper introduces a Standard of Best Practice which has been produced by the Software Systems(More)
Inconsistency management is fundamental to effective system specification. This thesis presents a categorical approach to the detection, classification and resolution of those inconsistencies which commonly arise in modular systems. This categorical approach relies upon the generation of the Categorical Consistency Framework, within which inconsistencies(More)