Relevant bibliographies by topics / Sequence diagrams

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Sequence diagrams'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Sequence diagrams.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Sequence diagrams"

1

Kulkarni, Dr R. N., and C. K. Srinivasa. "Novel approach to transform UML Sequence diagram to Activity diagram." Journal of University of Shanghai for Science and Technology 23, no. 07 (July 26, 2021): 1247–55. http://dx.doi.org/10.51201/jusst/21/07300.

Full text
Abstract:
Unified Modelling Language (UML) is currently accepted as a defacto standard language for modeling the software in the software industry. It will allow to implement object oriented concepts to model the software system. It provides a complete pictographic representation of software. Broadly these UML diagrams are classified into two groups viz. Structural diagrams and Behavioral diagrams. The sequence diagrams and Activity diagrams belongs to the second group i.e. behavioral diagrams. The sequence diagram represents the sequence of messages flowing from one object to another and activity diagram represents the flow of activities one after the other in a system. In this paper, we are proposing an automated tool which transforms the sequence diagram (which is represented in the table format) into activity diagram. The sequence diagram which is represented in the three column table called sequence table comprises various components of sequence diagram like objects, interactions, messages, alternations, iterations, loops, etc. The proposed tool reads the sequence table and converts the entire table components into the equivalent Activity table. Further the tool reads the activity table and then transforms to its equivalent activity diagram.
APA, Harvard, Vancouver, ISO, and other styles
2

HIGA, RYUJI, YASUTAKA NAKANISHI, SHIN SATOH, and TAKUTO YAMAMOTO. "CROSSING INFORMATION AND WARPING POLYNOMIALS ABOUT THE TREFOIL KNOT." Journal of Knot Theory and Its Ramifications 21, no. 12 (September 18, 2012): 1250117. http://dx.doi.org/10.1142/s0218216512501179.

Full text
Abstract:
We go along a knot diagram, and get a sequence of over- and under- crossing points. We will study which kinds of sequences are realized by diagrams of the trefoil knot. As an application, we will characterize the Shimizu warping polynomials for diagrams of the trefoil knot.
APA, Harvard, Vancouver, ISO, and other styles
3

Kurniawan, Tri Astoto, Lam-Son Lê, and Bayu Priyambadha. "Challenges in Developing Sequence Diagrams (UML)." Journal of Information Technology and Computer Science 5, no. 2 (July 29, 2020): 221. http://dx.doi.org/10.25126/jitecs.202052216.

Full text
Abstract:
During the object-oriented software design phase, the designers have to describe the dynamic aspect of the system under development through the most common interaction diagram variant in UML 2.0, i.e. sequence diagrams. Some novice designers, including undergraduate and postgraduate students, suffer from making inappropriate models due to insufficiently detailed guidance required to develop such sequence diagrams. This paper classifies some potential mistakes which are likely performed by such novice designers, and discusses the corresponding corrections. We summarized such mistakes based on our long experiences in teaching software modeling classes as well as software analysis and design classes. There were classified twenty-one potential mistakes with respect to the syntactical and semantical correctness of the developed models. It is concluded that novice designers have to be aware and take into account the identified mistakes in such a way they can produce correct sequence diagrams.
APA, Harvard, Vancouver, ISO, and other styles
4

XU, DIANXIANG, WEIFENG XU, and W. ERIC WONG. "TESTING ASPECT-ORIENTED PROGRAMS WITH UML DESIGN MODELS." International Journal of Software Engineering and Knowledge Engineering 18, no. 03 (May 2008): 413–37. http://dx.doi.org/10.1142/s0218194008003672.

Full text
Abstract:
The new constructs in aspect-oriented programming bring new types of programming faults with respect to crosscutting concerns, such as incorrect pointcuts and advice. This paper presents a UML-based approach to testing whether or not an aspect-oriented program conforms to its expected crosscutting behavior. We explore aspect-oriented UML design models to derive tests for exercising interactions between aspects and classes. Each aspect-oriented model consists of class diagrams, aspect diagrams, and sequence diagrams. For a method under test, we weave the sequence diagrams of the advice on the method into the method's sequence diagram. Based on the woven sequence diagram and class/aspect diagrams, we then generate an AOF (Aspect-Object Flow) tree by applying coverage criteria such as condition coverage, polymorphic coverage, and loop coverage to woven sequence diagrams. In the AOF tree, each path from the root to a leaf is an abstract message sequence, indicating a template of test cases. A concrete test case is obtained by creating objects that satisfy the collective constraints in the template. Our empirical study shows that the model-based testing approach is capable of revealing several types of aspect-specific faults, including incorrect advice type, incorrect (weaker or stronger) pointcut strengths, and incorrect aspect precedence.
APA, Harvard, Vancouver, ISO, and other styles
5

Singh, Gurpreet, and Rasbir Singh. "Generation of test cases using UML models." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 13, no. 7 (July 30, 2014): 4671–74. http://dx.doi.org/10.24297/ijct.v13i7.2511.

Full text
Abstract:
Software Testing plays an important role in Software development because it can minimize the development cost. UML is widely used in the software development, there consists of the designing and coding of the software. Designing phase is done with the help of the UML models, which consists of the sequence diagrams, activity diagrams, use case diagrams, state chart diagrams etc. After designing of the system, the next task is coding. Since the software development is time and human resource consuming, the reduction of consumption is done with the help of the code generation automatically. This work mainly focus on the UML sequence diagram and state chart diagram as the model. We Propose a Technique for Test Case Generation using UML Models. UML models give a lot of  information that should not be ignored in testing. An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for dynamic testing of system.
APA, Harvard, Vancouver, ISO, and other styles
6

Funahashi, Y., Y. Nakanishi, and S. Satoh. "A note on the OU sequences of a 2-bridge knot." Journal of Knot Theory and Its Ramifications 25, no. 13 (November 2016): 1671001. http://dx.doi.org/10.1142/s0218216516710012.

Full text
Abstract:
An OU sequence is a cyclically ordered sequence in symbols [Formula: see text] and [Formula: see text] such that the number of [Formula: see text]’s is equal to that of [Formula: see text]’s. Every knot diagram defines an O’U sequence by reading [Formula: see text] and [Formula: see text] at over- and under-crossings, respectively, appeared along the diagram. In this note, we determine the OU sequences for a [Formula: see text]-bridge knot arising from its diagrams with two over-bridges.
APA, Harvard, Vancouver, ISO, and other styles
7

Duzhin, Vasilii S., and Anastasia A. Chudnovskaya. "Search for Young diagrams with large dimensions." Computer tools in education, no. 4 (December 28, 2019): 33–43. http://dx.doi.org/10.32603/2071-2340-2019-4-33-43.

Full text
Abstract:
Search for Young diagrams with maximum dimensions or, equivalently, search for irreducible representations of the symmetric group $S(n)$ with maximum dimensions is an important problem of asymptotic combinatorics. In this paper, we propose algorithms that transform a Young diagram into another one of the same size but with a larger dimension. As a result of massive numerical experiments, the sequence of $10^6$ Young diagrams with large dimensions was constructed. Furthermore, the proposed algorithms do not change the first 1000 elements of this sequence. This may indicate that most of them have the maximum dimension. It has been found that the dimensions of all Young diagrams of the resulting sequence starting from the 75778th exceed the dimensions of corresponding diagrams of the greedy Plancherel sequence.
APA, Harvard, Vancouver, ISO, and other styles
8

Pelawi, Dewan. "Pembuatan Sistem Informasi dengan Analisis dan Perancangan Berorientasi Objek." ComTech: Computer, Mathematics and Engineering Applications 3, no. 2 (December 1, 2012): 740. http://dx.doi.org/10.21512/comtech.v3i2.2303.

Full text
Abstract:
Analysis of business processes by observing the existing system is the main issue to produce information systems according to the needs of the company. Any search of problem solutions when doing business process is performed by a system approach. Object Oriented Analysis and Design (OOAD) is one of the methods currently used to build information systems. The method includes the building of activity diagrams, event table, class diagram, usecase diagrams, usecase description, state chart diagrams, deployment and software architecture, first-cut design class diagram, simple sequence diagram (SSD), sequence diagram (first-cut, view layer, data access layer), communication diagram, updated design class diagram, package diagram, persistent object, and user interface. The results obtained after performing all phases of the method is an information system based on the needs of companies that is expected to improve the performance and effectiveness of the company's business processes and support the business goals.
APA, Harvard, Vancouver, ISO, and other styles
9

Lu, Lunjin, and Dae-Kyoo Kim. "Required behavior of sequence diagrams." ACM Transactions on Software Engineering and Methodology 23, no. 2 (March 2014): 1–28. http://dx.doi.org/10.1145/2523108.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cho, Seung Mo, Hyung Ho Kim, Sung Deok Cha, and Doo Hwan Bae. "A semantics of sequence diagrams." Information Processing Letters 84, no. 3 (November 2002): 125–30. http://dx.doi.org/10.1016/s0020-0190(02)00270-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Sequence diagrams"

1

Alwanain, Mohammed Ibrahim. "Automated composition of sequence diagrams." Thesis, University of Birmingham, 2016. http://etheses.bham.ac.uk//id/eprint/6919/.

Full text
Abstract:
Software design is a significant stage in software development life cycle as it creates a blueprint for the implementation of the software. Design-errors lead to costly and insufficient implementation. Hence, it is crucial to provide solutions to discover the design error in early stage of the system development and solve them. Inspired by various engineering disciplines, the software community proposed the concept of modelling in order to reduce these costly errors. Modelling provides a platform to create an abstract representation of the software systems concluding to the birth of various modelling languages such as Unified Modelling Language (UML), Automata, and Petri Net. Due to the modelling raises the level of abstraction throughout the analysis and design process, it enables the system discovers to efficiently identify errors. Since modern systems become more complex, models are often produced part-by-part to help reduce the complexity of the design. This often results in partial specifications captured in models focusing on a subset of the system. To produce an overall model of the system, such partial models must be composed together. Model composition is the process of combining partial models to create a single coherent model. Due to manual model composition is error prone, time-consuming and tedious, it must be replaced by automated model compositions. This thesis presents a novel approach for an automatic composition technique for creating behaviour models, such as a sequence diagram, from partial specifications captured in multiple sequence diagrams with the help of constraint solvers.
APA, Harvard, Vancouver, ISO, and other styles
2

Asikhan-Berlinguette, Nursel. "Communications service synthesis from informal specifications and sequence diagrams." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0015/MQ57081.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ameedeen, Mohamed Ariff. "A model driven approach to analysis and synthesis of sequence diagrams." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3282/.

Full text
Abstract:
Software design is a vital phase in a software development life cycle as it creates a blueprint for the implementation of the software. It is crucial that software designs are error-free since any unresolved design-errors could lead to costly implementation errors. To minimize these errors, the software community adopted the concept of modelling from various other engineering disciplines. Modelling provides a platform to create and share abstract or conceptual representations of the software system – leading to various modelling languages, among them Unified Modelling Language (UML) and Petri Nets. While Petri Nets strong mathematical capability allows various formal analyses to be performed on the models, UMLs user-friendly nature presented a more appealing platform for system designers. Using Multi Paradigm Modelling, this thesis presents an approach where system designers may have the best of both worlds; SD2PN, a model transformation that maps UML Sequence Diagrams into Petri Nets allows system designers to perform modelling in UML while still using Petri Nets to perform the analysis. Multi Paradigm Modelling also provided a platform for a well-established theory in Petri Nets – synthesis to be adopted into Sequence Diagram as a method of putting-together different Sequence Diagrams based on a set of techniques and algorithms.
APA, Harvard, Vancouver, ISO, and other styles
4

Ma, Jinyong. "Topics in sequence analysis." Diss., Georgia Institute of Technology, 2012. http://hdl.handle.net/1853/45908.

Full text
Abstract:
This thesis studies two topics in sequence analysis. In the first part, we investigate the large deviations of the shape of the random RSK Young diagrams, associated with a random word of size n whose letters are independently drawn from an alphabet of size m=m(n). When the letters are drawn uniformly and when both n and m converge together to infinity, m not growing too fast with respect to n, the large deviations of the shape of the Young diagrams are shown to be the same as that of the spectrum of the traceless GUE. Since the length of the top row of the Young diagrams is the length of the longest (weakly) increasing subsequence of the random word, the corresponding large deviations follow. When the letters are drawn with non-uniform probability, a control of both highest probabilities will ensure that the length of the top row of the diagrams satisfies a large deviation principle. In either case, both speeds and rate functions are identified. To complete our study, non-asymptotic concentration bounds for the length of the top row of the diagrams, are obtained for both models. In the second part, we investigate the order of the r-th, 1<= r < +∞, central moment of the length of the longest common subsequence of two independent random words of size n whose letters are identically distributed and independently drawn from a finite alphabet. When all but one of the letters are drawn with small probabilities, which depend on the size of the alphabet, the r-th central moment is shown to be of order n^{r/2}. In particular, when r=2, we get the order of the variance of the longest common subsequence.
APA, Harvard, Vancouver, ISO, and other styles
5

Bell, Cameron Pearce MacDonald. "A critical assessment of ages derived using pre-main-sequence isochrones in colour-magnitude diagrams." Thesis, University of Exeter, 2012. http://hdl.handle.net/10036/4017.

Full text
Abstract:
In this thesis a critical assessment of the ages derived using theoretical pre-main-sequence (pre-MS) stellar evolutionary models is presented by comparing the predictions to the low-mass pre-MS population of 14 young star-forming regions (SFRs) in colour-magnitude diagrams (CMDs). Deriving pre-MS ages requires precise distances and estimates of the reddening. Therefore, the main-sequence (MS) members of the SFRs have been used to derive a self-consistent set of statistically robust ages, distances and reddenings with associated uncertainties using a maximum-likelihood fitting statistic and MS evolutionary models. A photometric method (known as the Q-method) for de-reddening individual stars in regions where the extinction is spatially variable has been updated and is presented. The effects of both the model dependency and the SFR composition on these derived parameters are also discussed. The problem of calibrating photometric observations of red pre-MS stars is examined and it is shown that using observations of MS stars to transform the data into a standard photometric system can introduce significant errors in the position of the pre-MS locus in CMD space. Hence, it is crucial that precise photometric studies (especially of pre- MS objects) be carried out in the natural photometric system of the observations. This therefore requires a robust model of the system responses for the instrument used, and thus the calculated responses for the Wide-Field Camera on the Isaac Newton Telescope are presented. These system responses have been tested using standard star observations and have been shown to be a good representation of the photometric system. A benchmark test for the pre-MS evolutionary models is performed by comparing them to a set of well-calibrated CMDs of the Pleiades in the wavelength regime 0.4−2.5 μm. The masses predicted by these models are also tested against dynamical masses using a sample of MS binaries by calculating the system magnitude in a given photometric band- pass. This analysis shows that for Teff ≤ 4000 K the models systematically overestimate the flux by a factor of 2 at 0.5 μm, though this decreases with wavelength, becoming negligible at 2.2 μm. Thus before the pre-MS models are used to derive ages, a recalibration of the models is performed by incorporating an empirical colour-Teff relation and bolometric corrections based on the Ks-band luminosity of Pleiades members, with theoretical corrections for the dependence on the surface gravity (log g). The recalibrated pre-MS model isochrones are used to derive ages from the pre-MS populations of the SFRs. These ages are then compared with the MS derivations, thus providing a powerful diagnostic tool with which to discriminate between the different pre- MS age scales that arise from a much stronger model dependency in the pre-MS regime. The revised ages assigned to each of the 14 SFRs are up to a factor two older than previous derivations, a result with wide-ranging implications, including that circumstellar discs survive longer and that the average Class II lifetime is greater than currently believed.
APA, Harvard, Vancouver, ISO, and other styles
6

Alanazi, Mohammad N. "Consistency checking in multiple UML state diagrams using super state analysis." Diss., Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/995.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gopidi, Vijay Kumar. "Evaluation of Live Sequence Charts Using Play Engine Tool." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5428.

Full text
Abstract:
Capturing a requirement is a great challenge in the initial stages of the software development, be it a system requirement or a customer requirement to the software engineers. Understanding the requirement and predicting or differentiating what may happen and what must happen is difficult especially in the complex real time systems. Live sequence charts are extensions of the message sequence charts which can specify the live ness of the requirements. And the play engine tool is used to specify, validate, and analyze the scenarios of the requirements. This thesis is to evaluate live sequence charts using the play engine tool and to see if the built-in model checkers can detect inconsistencies in the LSC’s.
The requirements capturing and analysis has always been the initial criteria and main problem during the software design and development for the software engineers. It’s been very common to use natural language for capturing the requirements in the industries because of its ease of use. The graphical languages were used to represent the requirements, its behavior and the scenarios graphically or visually, for example UML. UML Sequence diagrams are used in the real time software development to capture the requirements which specifies the scenarios of the system behavior and also the interactions between the objects graphically. Message sequence charts are also a graphical language for representing the scenarios and also the behavior of the system especially in the telecommunication domain. But these two are only useful in specifying the one aspect of the behavior and not much helpful in specifying the liveness of the requirement. Liveness can be defined as something good will happen [34] or something must happen. For this reason live sequence charts were developed which can specify the liveness of the requirement. Live sequence charts are capable of specifying the scenarios what may happen and what must happen. This thesis is to evaluate the live sequence charts using the play engine tool running on the windows machine and also to study the built in model checkers for formal verification. The thesis starts with the various types of graphical representation of requirements in Software Engineering, followed by the Research Methodology, next a bit more explanation of Live Sequence Charts, Evaluation, Result, Conclusions and Lessons Learned from the thesis.
Permanent Address: C/O: K.VIJAYA H.NO. 3-1-39/12/3/2 TEACHER'S COLONY ARMOOR-503224 ANDHRAPRADESH INDIA.
APA, Harvard, Vancouver, ISO, and other styles
8

Nejad-Hosseinian, Seyed Hamed. "Automatic generation of generalized event sequence diagrams for guiding simulation based dynamic probabilistic risk assessment of complex systems." College Park, Md. : University of Maryland, 2007. http://hdl.handle.net/1903/7750.

Full text
Abstract:
Thesis (Ph. D.) -- University of Maryland, College Park, 2007.
Thesis research directed by: Mechanical Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
APA, Harvard, Vancouver, ISO, and other styles
9

Bannour, Boutheina. "Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing." Phd thesis, Ecole Centrale Paris, 2012. http://tel.archives-ouvertes.fr/tel-00997776.

Full text
Abstract:
In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams.
APA, Harvard, Vancouver, ISO, and other styles
10

Becker, Marcelo. "Uma alternativa para o ensino de geometria : visualização geométrica e representações de sólidos no plano." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/17161.

Full text
Abstract:
Essa dissertação aborda a visualização geométrica e a representação de objetos tridimensionais em diagramas bidimensionais. O objetivo da pesquisa é a criação de uma seqüência didática que atenda esses propósitos. Para desenvolver essa seqüência, foram realizadas diversas atividades piloto com sujeitos do ensino fundamental, médio e superior. A análise da produção dos alunos determinou a seleção e adaptação de atividades para compor a seqüência didática, testada em alunos do terceiro ano do ensino médio, apresentada com a respectiva análise dos resultados. Uma atividade teve destaque nesse trabalho, e por ser de criação própria, foi denominada Caixa de Becker, que consiste na interação com sólidos através do tato. Para análise dos dados, foram utilizadas as teorias de van Hiele, Gutiérrez e Piaget. Fez-se uma breve retomada na história do ensino de matemática, especificamente na área de geometria, para entender a forma em que esse conteúdo é abordado nos livros didáticos.
This dissertation focuses on visualization and geometric representation of three dimensional objects in two-dimensional diagrams. The aim of this research is to establish a teaching sequence to create such diagrams. To achieve this objective several pilot activities were executed with primary, secondary and tertiary education students. The selection and adjustment of activities to compose the teaching sequence were determined by the analysis of the results from a test applied to students in the last year of the high school. The "Becker Box" which was a highlighted activity during the research and is my own invention, provides a way to interact with solid geometric forms by touch. The theories from Van Hiele, Gutiérrez and Piaget were used to make the data analysis. A summary of the mathematics education history were made to understand how this subject is presented and discussed in teaching books.
Esa disertación aborda la visualización geométrica y la representación de los objetos tridimensionales en diagramas bidimensionales. El objetivo de la pesquisa es la creación de una secuencia didáctica que atienda eses propósitos . Para denvolver esa secuencia, fueron realizadas diversas actividades piloto con sujetos de la enseñanza básica, media y superior. El análisis de la producción de los alumnos determinó la selección y la adaptación de las actividades para componer la secuencia didáctica, testada en alumnos del tercer año de la enseñanza media, con el respectivo análisis de los resultados. Una actividade tuvo destaque en ese trabajo, y por ser de creación propria, fue llamada Caja de Becker, que consiste en la interacción con sólidos por medio del tacto. Para análisis de los datos, fueron utilizadas las teorías de van Hiele, Gutiérrez y Piaget. Se hizo una breve retomada en la historia de la enseñanza de la matemática, especificamente en el área de geometría, para entender la forma en que ese contenido es abordado en los libros didácticos.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Sequence diagrams"

1

Vacuum diagrams: Stories of the Xeelee sequence. New York: HarperPrism, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Baxter, Stephen. Vacuum diagrams: Stories of the Xeelee sequence. London: HarperCollins Publishers, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dula, Giora. Diagram cohomology and isovariant homotopy theory. Providence, R.I: American Mathematical Society, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

United States. Bureau of Justice Statistics, ed. What is the sequence of events in the criminal justice system? [Washington, DC]: Bureau of Justice Statistics, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Notations: Diagrams and Sequences. Artifice Books on Architecture, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

M¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Indices for the Exceptional Bruhat-Tits Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0036.

Full text
Abstract:
This chapter considers the affine Tits indices for exceptional Bruhat-Tits buildings. It begins with a few small observations and some notations dealing with the relative type of the affine Tits indices, the canonical correspondence between the circles in a Tits index and the vertices of its relative Coxeter diagram, and Moufang sets. It then presents a proposition about an involutory set, a quaternion division algebra, a root group sequence, and standard involution. It also describes Θ‎-orbits in S which are disjoint from A and which correspond to the vertices of the Coxeter diagram of Ξ‎ and hence to the types of the panels of Ξ‎. Finally, it shows how it is possible in many cases to determine properties of the Moufang set and the Tits index for all exceptional Bruhat-Tits buildings of type other than Latin Capital Letter G with Tilde₂.
APA, Harvard, Vancouver, ISO, and other styles
7

M¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Strictly Semi-linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0030.

Full text
Abstract:
This chapter considers the action of a strictly semi-linear automorphism fixing a root on the corresponding root group. It begins with the hypothesis whereby Δ‎ is a Moufang spherical building and Π‎ is the Coxeter diagram of Δ‎; here the chapter fixes an apartment Σ‎ of Δ‎ and a root α‎ of Σ‎. The discussion then turns to a number of assumptions about an isomorphism of Moufang sets, anisotropic quadratic space, and root group sequence, followed by a lemma where E is an octonion division algebra with center F and norm N and D is a quaternion subalgebra of E. The chapter concludes with three versions of what is really one result about fixed points of non-linear automorphisms of the Moufang sets.
APA, Harvard, Vancouver, ISO, and other styles
8

M¨uhlherr, Bernhard, Holger P. Petersson, and Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.

Full text
Abstract:
This chapter considers the notion of a linear automorphism of an arbitrary spherical building satisfying the Moufang property. It begins with the notation whereby Ω‎ = (U₊, U₁, ..., Uₙ) is the root group sequence and x₁, ... , xₙ the isomorphisms obtained by applying the recipe in [60, 16.x] for x = 1, 2, 3, ... or 9 to a parameter system Λ‎ of the suitable type (and for suitable n) and Δ‎ is the corresponding Moufang n-gon. The chapter proceeds by looking at cases where Λ‎ is a proper anisotropic pseudo-quadratic space defined over an involutory set or a quadratic space of type E⁶, E₇ or E₈. It also describes a notation dealing with the Moufang spherical building with Coxeter diagram Λ‎, an apartment of Δ‎, and a chamber of Σ‎.
APA, Harvard, Vancouver, ISO, and other styles
9

Rowett, Catherine. Platonic Method. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199693658.003.0008.

Full text
Abstract:
Using evidence from the Republic, the chapter shows how Plato thought that his iconic method could work. It focuses on some famous methodological remarks concerning the longer and shorter routes, and on Socrates’ diagram of the Divided Line which shows how one’s enquiries at each stage can use items from a level below to generate an understanding of the ones next above, in a continuous sequence of closer approximation to the truth (described as degrees of ‘clarity’). It argues that every level of enquiry is conducted by this method, which crucially involves the image–original relation. This allows the philosopher to investigate the forms by starting from particulars, and then at a later stage to consider the forms as shadows of higher, less accessible forms such as the Good itself.
APA, Harvard, Vancouver, ISO, and other styles
10

Dutoit, Thierry, and Yannis Stylianou. Text-to-Speech Synthesis. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0017.

Full text
Abstract:
This article gives an introduction to state-of-the-art text-to-speech (TTS) synthesis systems, showing both the natural language processing and the digital signal processing problems involved. Text-to-speech (TTS) synthesis is the art of designing talking machines. The article begins with brief user-oriented description of a general TTS system and comments on its commercial applications. It then gives a functional diagram of a modern TTS system, highlighting its components. It describes its morphosyntactic module. Furthermore, it examines why sentence-level phonetization cannot be achieved by a sequence of dictionary look-ups, and describes possible implementations of the phonetizer. Finally, the article describes prosody generation, outlining how intonation and duration can approximately be computed from text. Prosody refers to certain properties of the speech signal, which are related to audible changes in pitch, loudness, and syllable length. This article also introduces the two main existing categories of techniques for waveform generation: synthesis by rule and concatenative synthesis.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Sequence diagrams"

1

Rumpe, Bernhard. "Sequence Diagrams." In Modeling with UML, 191–208. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33933-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Alhakami, Hind, Gianfranco Ciardo, and Marek Chrobak. "Sequence Decision Diagrams." In String Processing and Information Retrieval, 149–60. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11918-2_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Denzumi, Shuhei. "Sequence Sentential Decision Diagrams." In Combinatorial Optimization and Applications, 592–606. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04651-4_40.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kosiuczenko, Piotr. "Sequence Diagrams for Mobility." In Lecture Notes in Computer Science, 147–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45275-1_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lu, Lunjin, and Dae-Kyoo Kim. "Refinement Inference for Sequence Diagrams." In Lecture Notes in Computer Science, 432–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35843-2_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Marc-Philippe, Huget. "Extending Agent UML Sequence Diagrams." In Agent-Oriented Software Engineering III, 150–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36540-0_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Widl, Magdalena, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, and Hans Tompits. "Guided Merging of Sequence Diagrams." In Software Language Engineering, 164–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36089-3_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Il-Yeol, Song. "Developing Sequence Diagrams in UML." In Conceptual Modeling — ER 2001, 368–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45581-7_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stanton, Neville A., James W. H. Brown, Kirsten M. A. Revell, Patrick Langdon, Michael Bradley, Ioannis Politis, Lee Skrypchuk, Simon Thompson, and Alexandros Mouzakitis. "Validating Operator Event Sequence Diagrams." In Designing Interaction and Interfaces for Automated Vehicles, 137–57. First edition. | Boca Raton, FL : CRC Press/Taylor & Francis Group, LLC, 2021. |: CRC Press, 2021. http://dx.doi.org/10.1201/9781003050841-10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cordes, Björn, Karsten Hölscher, and Hans-Jörg Kreowski. "UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams." In Applications of Graph Transformations with Industrial Relevance, 275–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-25959-6_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Sequence diagrams"

1

Samuel, Philip, and Anju Teresa Joseph. "Test Sequence Generation from UML Sequence Diagrams." In 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. IEEE, 2008. http://dx.doi.org/10.1109/snpd.2008.100.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Shen, Hui, Aliya Virani, and Jianwei Niu. "Formalize UML 2 Sequence Diagrams." In 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE). IEEE, 2008. http://dx.doi.org/10.1109/hase.2008.51.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jayaraman, Swaminathan, Kishor Kamath D, and Bharat Jayaraman. "Towards program execution summarization: Deriving state diagrams from sequence diagrams." In 2014 Seventh International Conference on Contemporary Computing (IC3). IEEE, 2014. http://dx.doi.org/10.1109/ic3.2014.6897190.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Ming, and Yanrui Ruan. "Approach to Formalizing UML Sequence Diagrams." In 2011 3rd International Workshop on Intelligent Systems and Applications (ISA). IEEE, 2011. http://dx.doi.org/10.1109/isa.2011.5873348.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Liwu Li. "Translating use cases to sequence diagrams." In Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference. IEEE, 2000. http://dx.doi.org/10.1109/ase.2000.873681.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Jing. "Analyzing UML Sequence Diagrams with UTP." In 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST). IEEE, 2009. http://dx.doi.org/10.1109/fcst.2009.73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Zuo, Ying, Liang Dou, Lihua Xu, and Zongyuan Yang. "Mechanized Semantics of UML Sequence Diagrams." In Engineering and Applied Science. Calgary,AB,Canada: ACTAPRESS, 2012. http://dx.doi.org/10.2316/p.2012.785-096.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Faria, Joao Pascoal, Ana C. R. Paiva, and Zhuanli Yang. "Test Generation from UML Sequence Diagrams." In 2012 Eighth International Conference on the Quality of Information and Communications Technology (QUATIC). IEEE, 2012. http://dx.doi.org/10.1109/quatic.2012.57.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Salami, Hamza Onoruoiza, and Moataz Ahmed. "Retrieving sequence diagrams using genetic algorithm." In 2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE). IEEE, 2014. http://dx.doi.org/10.1109/jcsse.2014.6841889.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Yu, Xiaofei, Jian-Min Jiang, and Zhong Hong. "Decomposition and Composition of Sequence Diagrams." In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. http://dx.doi.org/10.1109/tase.2018.00018.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Sequence diagrams"

1

Wallace, Daniels, and John Winters. Initial Requirements for a Software Tool to Support the Use of Operational Sequence Diagrams (OSDs). Fort Belvoir, VA: Defense Technical Information Center, November 2001. http://dx.doi.org/10.21236/ada410509.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Starkey, Mike, and Randy Bryant. Using Ordered Binary-Decision Diagrams for Compressing Images and Image Sequences. Fort Belvoir, VA: Defense Technical Information Center, January 1995. http://dx.doi.org/10.21236/ada292244.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Sequence diagrams' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography