Learn More
BACKGROUND Monitoring contrast medium wash-in kinetics in hyperemic myocardium by magnetic resonance (MR) allows for the detection of stenosed coronary arteries. In this prospective study, the quality of a multislice MR approach with respect to the detection and sizing of compromised myocardium was determined and compared with positron emission tomography(More)
Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, possibly by end users at run time as in compound-document frameworks. To this aim, we propose generic wrappers, a new language construct for strongly-typed class-based languages. With generic(More)
Type compatibility can be defined based on name equivalence, that is, explicit declarations, or on structural matching. We argue that component software has demands for both. For types expressing individual contracts, name equivalence should be used so that references are made to external semantical specifications. For types that are composed of several(More)
BACKGROUND Metabolic assessment of dysfunctional myocardium by PET allows prediction of functional recovery after revascularization. Contrast-enhanced MR (ce-MR) discriminates transmural distribution of viable and scar tissue with excellent spatial resolution. Both techniques were applied in ischemic chronic left ventricular dysfunction to relate metabolism(More)
PURPOSE Systolic murmurs are common, and it is important to know whether physical examination can reliably determine their cause. Therefore, we prospectively assessed the diagnostic accuracy of a cardiac examination in patients without previous echocardiography who were referred for evaluation of a systolic murmur. SUBJECTS AND METHODS In 100 consecutive(More)
Fast imaging techniques allow monitoring of contrast medium (CM) first-pass kinetics in a multislice mode. Employing shorter recovery times improves cardiac coverage during first-pass conditions, but potentially flattens signal response in the myocardium. The aim of this study was therefore to compare in patients with suspected coronary artery disease (CAD)(More)
Interface Description Languages (IDLs) describe the syntactic part of a com-ponent's interface, but they do not help to specify semantics. Additional informal descriptions or pre-and postconditions of operations are often not precise enough. For instance, they cannot properly describe call-back scenarios, that is, the states, at which external calls are(More)
BACKGROUND It has been shown that there is impairment of the vasodilatory response to acetylcholine in patients with hypercholesterolemia and angiographically normal coronary arteries. Moreover, in patients with angiographically smooth coronary arteries, the number of coronary risk factors is associated with a loss of endothelium-dependent vasodilation. The(More)
We exhibit the benefits of using formal methods for constructing and documenting component software. Formal specifications provide concise and complete descriptions of black-box components and, herewith, pave the way for full encapsulation. Specifications using abstract statements scale up better than pre-postconditions and allow for 'relative'(More)