Abstract

Abstract
In this chapter we present a coalgebraic semantics for components. Our semantics forms the basis for a family of operators for combining components. These operators together with their algebraic laws establish a calculus for software components. We present two applications of our semantics: a coalgebraic interpretation of UML diagrams and the design of a component repository.

Abstract
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods.

Abstract
Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to ( sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies' structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs.

Abstract

Abstract
In rat gait kinematics, the method most frequently used for measuring hindlimb movement involves placing markers on the skin surface overlying the joints being analyzed. Soft tissue movement around the knee joint has been considered the principle source of error when estimating hindlimb joint kinematics in rodents. However, the motion of knee marker was never quantified, nor the different variations in joint angle associated with this gait analysis system. The purpose of this study was two-fold. The first purpose was to expand upon the limited pool of information describing the effect of soft tissue movement over the knee upon the angular positions of the hip, knee and ankle of rats during treadmill locomotion. Secondly, it was a goal of this study to document the magnitude of the skin displacement when using markers that were attached superficially to the knee joint. This was examined by comparing the hindlimb kinematics in sagittal plane during treadmill locomotion determined from the marker attached to the knee and when the knee position was determined indirectly by computer analysis. Results showed that there is a considerable skin movement artefact which propagates to knee joint position and hindlimb kinematics estimates. It was concluded that these large errors can decrease data reliability in the research of rat gait analysis.