Comprehending the behavior of an object-oriented system solely from its source code is troublesome, owing to dynamism. To aid comprehension, visualizing program through reverse-engineered sequence diagrams execution traces a promising approach. However, because massiveness traces, recovered tend become very large, causing scalability issues. address issues, we propose object grouping technique ...

Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also included, in a slightly different form, in the popular UML standard (called there sequence diagrams). We present some of the main results related to this notation, in the context of specification and automatic verificati...

How many Reidemeister moves do we need for unknotting a given diagram of the trivial knot? Hass and Lagarias gave an upper bound. We give an upper bound for deforming a diagram of a split link to be disconnected. On the other hand, the absolute value of the writhe gives a lower bound of the number of Reidemeister I moves for unknotting. That of a complexity of knot diagram “cowrithe” works for ...

In this chapter, we report five beginning undergraduate students' understanding of the 3-D structure of DNA, and the use of gesture and analogy to enhance their 3-D visualization of DNA structure. Through clinical interview-cum-teaching sessions we first recapitulated their background knowledge of basic biology and chemistry prerequisites. We then proceeded to a microgenetic study of the studen...

Safety is of growing importance for information systems due to increased integration with embedded systems. Discovering potential hazards as early as possible in the development is key to avoid costly redesign later. This implies that hazards should be identified based on the requirements, and it is then useful to compare various specification techniques to find out the strengths and weaknesses...

We report the liquid crystal (LC) ordering in an aqueous solution of four-base-long DNA oligomers 5′-GCTA-3′. In such systems, the formation of the chiral nematic (N*) LC phase is the result of a continuous self-assembly process in which double helix stability is achieved only through linear chaining of multiple DNA strands. The thermal stability of the aggregates and their LC phase diagram hav...

Live sequence charts (LSCs) have been defined recently as an extension of message sequence charts (MSCs; or their UML variant, sequence diagrams) for rich inter-object specification. One of the main additions is the notion of universal charts and hot, mandatory behavior, which, among other things, enables one to specify forbidden scenarios. LSCs are thus essentially as expressive as statecharts...