The residue-based diagram editor (RbDe) is web-based software that greatly simplifies the construction of schematic diagrams of proteins. Residue-based diagrams display the sequence of a given protein in the context of its secondary and tertiary structure. Such diagrams are frequently used to summarize mutations or sequence features, in the context of the overall topology of a protein. The init...

Using high precision parallaxes from the Hipparcos catalog, we construct H-R diagrams for two samples of bright stars. The first is a magnitude-limited sample that is over 90% complete and uses uniform photometry from the Catalog of WBVR Magnitudes of Northern Sky Bright Stars (δ > −14◦). This sample shows a smooth distribution of stars along the main sequence, with no detectable gaps. The seco...

This paper presents a novel approach of generating test cases from UML design diagrams. Our approach consists of transforming a UML sequence diagram into a graph called the sequence diagram graph (SDG) and augmenting the SDG nodes with different information necessary to compose test vectors. These information are mined from use case templates, class diagrams and data dictionary. The SDG is then...

We give an explicit sequence of Heegaard moves interpolating between local versions the Kauffman-states diagram and planar used in knot Floer homology, show how these can be to translate global diagrams.

This paper presents an approach to generating tests for adequately exercising interaction between aspects and classes based on aspect-oriented UML models. In this approach, an aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. Since methods of classes and advices of aspects are both specified by sequence diagrams, the advices on a given method can be weave...

In this paper, we present formal semantics of UML (Unified Modeling Language) sequence diagrams using the PVS (Prototype Verification System) [8] as an underlying semantic foundation. We give a formal definition of a trace-based semantics [5] of UML sequence diagrams; i.e. a sequence diagram is interpreted as a set of traces of events that may occur in the realization of the interaction specifi...

We describe a translation of scenarios given in UML 2.0 sequence diagrams into a tuples-based behavioural model that considers multiple access points for a participating instance and exhibits true-concurrency. This is important in a component setting since different access points are connected to different instances, which have no knowledge of each other. Interactions specified in a scenario ar...

Sequence diagrams are often used in the modular design of softwares. In this paper, we propose a method to verify correctness of sequence diagrams. With this method, using the process algebra CSP, concurrent systems can be synthesized from a number of sequence diagrams. We define new CSP operators for the synthesis of sequence diagrams. We also report on a tool implementing our synthesis method...

Produsen handphone pada saat ini menawarkan banyak produk yang berbeda dengan spesifikasi berbeda. Target konsumen dari kelas bawah sampai atas. Produk ditawarkan serta spesifikasinya bervariasi sangat banyak, menjadikan atau calon pembeli kesulitan ingin membeli mana. Atas dasar permasalahan tersebut, untuk memberikan kemudahan dalam menentukan sesuai kriteria diharapkan, maka dibutuhkan suatu...

In this paper we present an algorithm that generates k-noncrossing, σ-modular diagrams with uniform probability. A diagram is a labeled graph of degree ≤ 1 over n vertices drawn in a horizontal line with arcs (i, j) in the upper half-plane. A k-crossing in a diagram is a set of k distinct arcs (i1, j1), (i2, j2), . . . , (ik, jk) with the property i1 < i2 < . . . < ik < j1 < j2 < . . . < jk. A ...