ABSTRACT The Contrast-Limited Adaptive Histogram Equalization (CLARE) method for
assigning displayed intensity levels in medical images, is supported by anecdotal evidence …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

For many, Java is the antithesis of a high integrity programming language. Its combination of
object-oriented programming features, its automatic garbage collection, and its poor support …

Any scientifically based activity requires a level of responsibility and it is important those
involved understand the associated moral questions. Science has developed technology …

Software engineering and formal methods Page 1 54 communications of the acm | september
2008 | vol. 51 | no. 9 practice THE SOFTWARE ENGINEERING community has devised many …

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance
for anyone who needs to apply formal methods successfully in an industrial context. Each …

Software architecture has been established in software engineering for almost 40 years.
When develo** and evolving software products, architecture is expected to be even more …

This report summarizes the analysis of information system survivability. It considers how
survivability relates to other requirements such as security, reliability, and performance. It …

Abstract Representation and reasoning about goals of an information system unavoidably
involve the transformation of unclear stakeholder requirements into an instance of a goal …

This paper presents a three step approach to improve safety in the field of interactive
systems. The approach combines, within a single framework, previous work in the field of …