نتایج جستجو برای: sequence diagram

تعداد نتایج: 464224  

1998
Egidio Astesiano Gianna Reggio

On UML UML is a semi-formal notation, in the sense that it has a rather precise syntax (including well-formedness conditions) but an informal semantics (just a natural language description). The task of its formalization is not trivial and poses new problems, since UML has some relevant and novel features with respect to the existing speciication formalisms. Let us single out our personal view ...

Journal: :CoRR 2012
Muhammad Touseef Zahid Hussain Qaisar

Use case scenarios are created during the analysis phase to specify software system’s requirements and can also be used for creating system level test cases. Using use cases to get system tests has several benefits including test design at early stages of software development life cycle that reduces over all development cost of the system. Current approaches for system testing using use cases i...

Journal: :J. Comb. Theory, Ser. A 2003
Miklós Bóna Bruce E. Sagan

Simion [9] conjectured the unimodality of a sequence counting lattice paths in a grid with a Ferrers diagram removed from the northwest corner. Recently, Hildebrand [5] and then Wang [11] proved the stronger result that this sequence is actually log concave. Both proofs were mainly algebraic in nature. We give two combinatorial proofs of this theorem.

2001
JOEL HASS JEFFREY C. LAGARIAS

A knot is an embedding of a circle S in a 3-manifold M , usually taken to be R or S. In the 1920’s Alexander and Briggs [2, §4] and Reidemeister [23] observed that questions about ambient isotopy of polygonal knots in R can be reduced to combinatorial questions about knot diagrams. These are labeled planar graphs with overcrossings and undercrossings marked, representing a projection of the kno...

2013
Deepa Raj

Unified Modeling language (UML) is one of the important modeling languages used for the visual representation of the research problem. In the present paper, UML model has been designed for the watermarking in the image file using transform method because Digital watermarking is the process of embedding some information into a digital signal which is used to verify the authentication of image fi...

Journal: :J. Inform. and Commun. Convergence Engineering 2011
Deok-Gil Jung Min-Po Jung Hyuk-Gyu Cho Young-Uhg Lho

— In this paper, we suggest the object-oriented methodology for the design and implementation scheme for the program development in the application of control and instrumentation such as the detection system of RFID defective tags which needs the embedded programming. We apply the design methodology of UML in the system design phase, and suggest the implementation scheme of LabVIEW programs usi...

2007
G. E. Ballester

Using the Wide Field Planetary Camera 2 on the Hubble Space Telescope, we have obtained a deep color-magnitude diagram in V-and I-band equivalents for more than 2000 stars in a patch of the outer disk of the Large Magellanic Cloud (LMC). Aperture photometry is feasible from these data with good signal-to-noise for stars with V25 which allows us for the rst time to construct a color-magnitude di...

2004
Lei Liu Emanuel S. Grant

The Unified Modeling Language (UML) has been widely accepted in the software development industry because of the benefits it brings to the task of specifying system requirements and design decision. However, models are not the final product of a software development cycle. Application code, which is compiled and executed, has to be derived from these models. Work on deriving transformation tech...

2007
Andy Zaidman Abdelwahab Hamou-Lhadj Orla Greevy Chris Bennett Del Myers Margaret-Anne Storey Daniel German Leon Moonen Adrian Lienhard Tudor Gîrba Oscar Nierstrasz Neil Walkinshaw Kirill Bogdanov David Lo Siau-Cheng Khoo Chao Liu Marcus Denker Ying Zou Daniel Amyot Wim De Pauw Serge Demeyer Arie van Deursen

In this position paper, we survey and identify tool features that provide cognitive support for reverse engineering and program comprehension of very large reverse engineered sequence diagrams. From these features we synthesize user requirements for a sequence diagram viewer, to which we add system requirements such as memory and processing scalability. We briefly describe a pluggable sequence ...

2013
Hao Sun Jeffrey A. Fessler Douglas C. Noll

Steady-state spin path. The tip-up pulse (blue) is tailored to the mean free precession angle ( within each voxel, and there is in general a mismatch between the isochromat spin phase in that voxel and the tip-up phase. (b) Transverse magnetization profile vs. phase mismatch. The observed voxel signal is obtained by integrating the profile over the intra-voxel B0 distribution, which depends on ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید