—Models are paramount in model-driven engineering. In a software project many models may coexist, capturing different views of the system or different levels of abstraction. A key and arduous task in this development method is to keep all such models consistent, both with their meta-models (and the respective constraints) and among themselves. This paper… (More)
Model finders are becoming useful in many software engineering problems. Kodkod  is one of the most popular, due to its support for relational logic (a combination of first order logic with rela-tional algebra operators and transitive closure), allowing a simpler specification of constraints, and support for partial instances, allowing the specification… (More)
We report a rare case in a female infant (age, 3.5 months) with primary immunodeficiency (IFN-γ/IL-12 pathway defect) who presented with suppurative lymphadenitis after Mycobacterium bovis BCG vaccination. The strain of M. bovis BCG identified was found to be resistant to isoniazid and rifampin. The patient was treated with a special pharmacological regimen… (More)
In the title compound, C(22)H(14)N(2)O(2), the five rings of the mol-ecule are not coplanar. There is a significant twist between the four fused rings, which have a slightly arched conformation, and the pendant aromatic ring, as seen in the dihedral angle of 13.16 (8)° between the anthraquinonic ring system and the pendant aromatic ring plane.