The two-dimensional ordering of bacteriorhodopsins in a lipid bilayer was studied using binary hard-disk model. phase diagrams were calculated, taking into account the lateral depletion effects. critical concentrations protein for monomers and trimers obtained from diagrams. concentration ratio agreed well with experiment when repulsive core interaction between depletants, namely lipids, taken ...

We investigate the relative contribution of ladder and ring diagrams to the single-particle self-energy in fully-spin-polarized liquid He ( He~). Ladder diagrams are summed to all orders of the bare HeHe interaction using the Galitskii-Feynman-Hartree-Fock (GFHF) analysis. Previous studies of He, using GFHF analysis, have neglected the part of the GFHF self-energy coming from the correlation po...

This paper identiies how object models, statecharts and interaction diagrams can be given a semantics in the Object Calculus of Fiadeiro and Maibaum. A compositional interpretation of object model and statechart diagrams is developed, with separate theories constructed for object instances, class managers and associations which are then combined using categorical constructions to yield a formal...

UML models are widely used by software developers to model complex software systems. Testing the models can reveal flaws in the early stages of software development. Criteria based on UML class diagrams and interaction diagrams were proposed earlier to specify UML model elements that need to be covered during testing. This paper describes a case study that evaluated the fault detection effectiv...

| We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the speci cation by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an exampl...

Although research on non-visual access to visualisations is steadily growing, very little work has investigated strategies for constructing such forms of representation through non-visual means. This paper describes the design of two interaction strategies for constructing and manipulating relational diagrams in audio. We report on a study that compared the two strategies, and discuss their adv...

The goal of this work is to create a model that allows identification of the software components (or subsystems according to the unified process terminology) based on the design models, or more exactly, based on the classes diagrams (for the static aspects) and on the interaction diagrams (for the dynamic aspects). The work also presents a genetic algorithm used for the clustering of classes in...

Software Testing is one of the important phases in the software development life cycle. The cost of software testing is approximately 50% of the total development cost. In order to test software in an effective and an efficient manner, the test case should be generated systematically. Unified Modeling Language (UML) is the current industrial standard used to assist software development. It is w...