Log in

Relevant bibliographies by topics / UML diagramos / Journal articles

To see the other types of publications on this topic, follow the link: UML diagramos.

Journal articles on the topic 'UML diagramos'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'UML diagramos.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Oliveira, Rodrigo Diego de. "Análise do uso da cor no Diagrama de Classes da Linguagem Unificada de Modelagem (UML) | Analysis of the use of color in the Unified Modeling Language Class Diagram (UML)." InfoDesign - Revista Brasileira de Design da Informação 17, no. 1 (2020): 116–30. http://dx.doi.org/10.51358/id.v17i1.783.

Full text

Abstract:

O uso da cor em diagramas na Engenharia de Software não é novidade, em especial na Linguagem Unificada de Modelagem (UML), que consiste em um conjunto de quinze diagramas utilizados para documentar e especificar a complexidade de um software. Porém, a aplicação da cor muitas vezes é feita de forma aleatória ficando a cargo da subjetividade do projetista ou dos softwares utilizados para o desenho destes diagramas. O presente artigo aborda o uso das cores no diagrama de classes da UML segundo o modelo proposto por Coad, Lefebvre e De Luca (1999), que aplica a cor a partir de uma prática profissi

APA, Harvard, Vancouver, ISO, and other styles

2

Kambow, Lavleen. "Visualizing the validation of UML diagrams." Indian Journal of Applied Research 1, no. 9 (2011): 37–38. http://dx.doi.org/10.15373/2249555x/jun2012/15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Turan, Metin. "Integrating Software Metrics with UML Class Diagrams." Lecture Notes on Software Engineering 3, no. 3 (2015): 220–24. http://dx.doi.org/10.7763/lnse.2015.v3.194.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Al-Khiaty, Mojeeb Al-Rhman, and Moataz Ahmed. "UML Class Diagrams: Similarity Aspects and Matching." Lecture Notes on Software Engineering 4, no. 1 (2016): 41–47. http://dx.doi.org/10.7763/lnse.2016.v4.221.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Arias Barragan, Luis Alejandro. "Lenguaje de modelamiento unificado (UML) para modelamiento de embotelladora." Scientia et technica 21, no. 1 (2016): 38. http://dx.doi.org/10.22517/23447214.8541.

Full text

Abstract:

El presente artículo describe el modelamiento de un bucle de embotellado de una planta de procesos, el caso de estudio corresponde a la planta de procesos del laboratorio de automatización industrial de la Universidad Autónoma de Colombia (FUAC). Inicialmente se define que es el UML (Lenguaje de Modelamiento Unificado), luego se describen las fases de trabajo realizadas para obtener los modelos del bucle de embotellado: Los casos de Uso, los diagramas de clases; y finalmente el diagrama de secuencias que ilustra mensajes, avisos y alarmas mediante los cuales el bucle interactúa con los demás e

APA, Harvard, Vancouver, ISO, and other styles

6

Selonen, Petri, Kai Koskimies, and Markku Sakkinen. "Transformations Between UML Diagrams." Journal of Database Management 14, no. 3 (2003): 37–55. http://dx.doi.org/10.4018/jdm.2003070103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Sergievskiy, Maxim, and Ksenia Kirpichnikova. "Optimizing UML Class Diagrams." ITM Web of Conferences 18 (2018): 03003. http://dx.doi.org/10.1051/itmconf/20181803003.

Full text

Abstract:

Most of object-oriented development technologies rely on the use of the universal modeling language UML; class diagrams play a very important role in the design process play, used to build a software system model. Modern CASE tools, which are the basic tools for object-oriented development, can’t be used to optimize UML diagrams. In this manuscript we will explain how, based on the use of design patterns and anti-patterns, class diagrams could be verified and optimized. Certain transformations can be carried out automatically; in other cases, potential inefficiencies will be indicated and reco

APA, Harvard, Vancouver, ISO, and other styles

8

Kambow, Lavleen. "Transformation of UML Class Diagram to UML Sequence Diagram." International Journal of Applied Information Systems 2, no. 9 (2012): 19–22. http://dx.doi.org/10.5120/ijais12-450413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Vital, Richard Brandão Nogueira, and Tatiane Melo Vital. "Utilização da modelagem UML em um sistema de gerenciamento de uma franquia do setor de alimentação." Revista Eletrônica TECCEN 8, no. 2 (2015): 65. http://dx.doi.org/10.21727/teccen.v8i2.25.

Full text

Abstract:

Este artigo descreve a modelagem de um sistema de gerenciamento de uma franquia do setor de alimentação utilizando a Linguagem Unificada de Modelagem. O objetivo principal é apresentar a descrição dos requisitos do negócio analisado e o conjunto de diagramas que descrevem e orientam o desenvolvimento de um sistema computacional para atender as necessidades apontadas. Na abordagem apresentada, a modelagem UML descreve o processo através dos Diagramas de Caso de Uso, Classes, Estados e Atividades.

APA, Harvard, Vancouver, ISO, and other styles

10

Vital, Richard Brandão Nogueira, and Tatiane Melo Vital. "Utilização da modelagem UML em um sistema de gerenciamento de uma franquia do setor de alimentação." Revista Eletrônica TECCEN 8, no. 2 (2015): 65. http://dx.doi.org/10.21727/198409932015.teccen.v8i2.65-72.

Full text

Abstract:

Este artigo descreve a modelagem de um sistema de gerenciamento de uma franquia do setor de alimentação utilizando a Linguagem Unificada de Modelagem. O objetivo principal é apresentar a descrição dos requisitos do negócio analisado e o conjunto de diagramas que descrevem e orientam o desenvolvimento de um sistema computacional para atender as necessidades apontadas. Na abordagem apresentada, a modelagem UML descreve o processo através dos Diagramas de Caso de Uso, Classes, Estados e Atividades.

APA, Harvard, Vancouver, ISO, and other styles

11

Chen, Huifeng, Jian-min Jiang, Zhong Hong, and Ling Lin. "Decomposition of UML activity diagrams." Software: Practice and Experience 48, no. 1 (2017): 105–22. http://dx.doi.org/10.1002/spe.2519.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Berardi, Daniela, Diego Calvanese, and Giuseppe De Giacomo. "Reasoning on UML class diagrams." Artificial Intelligence 168, no. 1-2 (2005): 70–118. http://dx.doi.org/10.1016/j.artint.2005.05.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Peláez, Álvaro. "¿QUÉ SON LOS DIAGRAMAS GEOMÉTRICOS? UNA APROXIMACIÓN KANTIANO-PEIRCEANA." Revista Dissertatio de Filosofia 40 (January 1, 2014): 151. http://dx.doi.org/10.15210/dissertatio.v40i0.8533.

Full text

Abstract:

Que tipo de objetos são os diagramas, os quais podem ser manipulados lógica e matematicamente e também servem para obter conhecimento? Neste artigo, proporei uma maneira de responder a esta pergunta. Sustentarei a hipótese, inspirada por Kant e Peirce, de que os diagramas são uma classe de objetos híbridos com um aspecto intelectual e outro sensível. Os lógicos e matemáticos estão interessados e estudam uma certa estrutura que se exemplifica em um diagrama, embora não de maneira perfeita. Devido a seu caráter sensível e a sua acessibilidade, tais diagramas permitem a manipulação e a experiment

APA, Harvard, Vancouver, ISO, and other styles

14

Ha, Il-Kyu. "Improvement of Consistency for UML Diagrams with Cross Checking Rules." Journal of the Korean Institute of Information and Communication Engineering 16, no. 6 (2012): 1291–99. http://dx.doi.org/10.6109/jkiice.2012.16.6.1291.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Jáuregui, Jorge Mario, and Valéria Veras. "Diagramas / Atos de hesitação – os croquis de investigação do arquiteto Jorge Mário Jáuregui." Oculum Ensaios 14, no. 1 (2017): 10. http://dx.doi.org/10.24220/2318-0919v14n1a3972.

Full text

Abstract:

DiagramasLa idea de huella está asociada al concepto de diagrama y sugiere relaciones potenciales. Los diagramas pueden retener múltiples series de huellas y son un aparato activo. Un diagrama es una especie de taquigrafia gráfica, es una forma de representar. Es un conjunto de relaciones entre fuerzas, que forman un mapa que formaliza funciones articulables y constituye una abstracción explicativa. El diagrama permite reorganizar las jerarquías. Atos de hesitação – os croquis de investigação do arquiteto Jorge Mário Jáuregui¿Para qué sirve un diagrama para un arquitecto? Un diagrama es, en la

APA, Harvard, Vancouver, ISO, and other styles

16

Novitsky, A. V. "Extending UML specification for semantic modeling objects." PROBLEMS IN PROGRAMMING, no. 2-3 (June 2016): 211–19. http://dx.doi.org/10.15407/pp2016.02-03.211.

Full text

Abstract:

In the article, propose mapping from UML class diagrams to SHOIQ. descriptive logic. Made approach through extension the UML notations by using stereotypes as close to semantic structures. Specified on the causes and problems that arise in such mapping.

APA, Harvard, Vancouver, ISO, and other styles

17

Vidgen, R. "Requirements analysis and UML - interaction diagrams and state transition diagrams." Computing and Control Engineering 14, no. 3 (2003): 7–11. http://dx.doi.org/10.1049/cce:20030301.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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 (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 o

APA, Harvard, Vancouver, ISO, and other styles

19

Ohst, Dirk, Michael Welle, and Udo Kelter. "Differences between versions of UML diagrams." ACM SIGSOFT Software Engineering Notes 28, no. 5 (2003): 227–36. http://dx.doi.org/10.1145/949952.940102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Choppy, Christine, Kais Klai, and Hacene Zidani. "Formal verification of UML state diagrams." ACM SIGSOFT Software Engineering Notes 36, no. 1 (2011): 1–8. http://dx.doi.org/10.1145/1921532.1921561.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Robinson, W. N., and H. G. Woo. "Finding Reusable UML Sequence Diagrams Automatically." IEEE Software 21, no. 05 (2004): 60–67. http://dx.doi.org/10.1109/ms.2004.1331304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Shirole, Mahesh, and Rajeev Kumar. "Testing for concurrency in UML diagrams." ACM SIGSOFT Software Engineering Notes 37, no. 5 (2012): 1–8. http://dx.doi.org/10.1145/2347696.2347712.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Marković, Slaviša, and Thomas Baar. "Refactoring OCL annotated UML class diagrams." Software & Systems Modeling 7, no. 1 (2007): 25–47. http://dx.doi.org/10.1007/s10270-007-0056-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Milanova, Ana. "Composition inference for UML class diagrams." Automated Software Engineering 14, no. 2 (2007): 179–213. http://dx.doi.org/10.1007/s10515-007-0010-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Wu, Fangjun, and Tong Yi. "Dependence analysis for UML class diagrams." Journal of Electronics (China) 21, no. 3 (2004): 249–54. http://dx.doi.org/10.1007/bf02687879.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Eiglsperger, Markus, Carsten Gutwenger, Michael Kaufmann, et al. "Automatic Layout of UML Class Diagrams in Orthogonal Style." Information Visualization 3, no. 3 (2004): 189–208. http://dx.doi.org/10.1057/palgrave.ivs.9500078.

Full text

Abstract:

Unified modelling language (UML) diagrams have become increasingly important in engineering and re-engineering processes for software systems. Of particular interest are UML class diagrams whose purpose is to display generalizations, associations, aggregations, and compositions in one picture. The combination of directed and undirected relations poses a special challenge to a graph layout tool. Current approaches for the automatic layout of class diagrams are based on the layered graph drawing paradigm. These algorithms produce good results for class diagrams with large and deep structural inf

APA, Harvard, Vancouver, ISO, and other styles

27

Singh, Gurpreet, and Rasbir Singh. "Generation of test cases using UML models." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 13, no. 7 (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

APA, Harvard, Vancouver, ISO, and other styles

28

Prado, Ramon Teodoro do, and Laercio Ferracioli. "UTILIZAÇÃO DO DIAGRAMA V EM ATIVIDADES EXPERIMENTAIS DE MAGNETISMO EM SALA DE AULA DE ENSINO MÉDIO." Revista do Professor de Física 1, no. 1 (2017): 1–14. http://dx.doi.org/10.26512/rpf.v1i1.7083.

Full text

Abstract:

Este trabalho está embasado em um trabalho de mestrado no qual é apresentado a utilização do Diagrama V em uma atividade experimental de Magnetismo em Sala de Aula com estudantes da 3ª série do Ensino Médio de uma escola estadual pública. É descrito o Diagrama V utilizado, o desenvolvimento da atividade, os resultados encontrados nas análises dos Diagramas Vs. O instrumento de Coleta de dados, Orientação e avaliação foi o Vê Epistemológico de Gowin, chamado nesse trabalho de Diagrama V. Os resultados revelaram que o Diagrama V foi bem aceito pelos estudantes que não mostraram resistência em tr

APA, Harvard, Vancouver, ISO, and other styles

29

Ha, Ilk Yu, and Chong Gun Kim. "Enhancement of Consistency of UML Diagrams by Cross Checking Rules." Applied Mechanics and Materials 284-287 (January 2013): 3409–12. http://dx.doi.org/10.4028/www.scientific.net/amm.284-287.3409.

Full text

Abstract:

UML is a rich semantic language, but it is difficult to ensure consistency of the diagrams you have written. In this paper, we propose cross checking rules to improve consistency among UML diagrams, especially between UML static and dynamic diagrams. We derive integrated metamodels in order to reflect more clear interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to represent the checking rules accurately. By comparing with the well-formed rules of UML specification, we study on consistency of UML diagrams. We also derive integrated metamodels of static a

APA, Harvard, Vancouver, ISO, and other styles

30

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 (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 m

APA, Harvard, Vancouver, ISO, and other styles

31

Sahoo, Pulak, and J. R. Mohanty. "Early Test Effort Prediction using UML Diagrams." Indonesian Journal of Electrical Engineering and Computer Science 5, no. 1 (2017): 220. http://dx.doi.org/10.11591/ijeecs.v5.i1.pp220-228.

Full text

Abstract:

<p>Software Testing is essential for delivering quality software products. Accurate test effort estimation is an important part of project planning. Prediction of test effort at early phases of Software Developmen Life Cycle enables managers to plan ahead for the testing phase. This increases the chances of the project meeting its timeline while achieving required quality. Unified Modeling Language is a widely-used standard for representing Object Oriented Systems. Use Case and Class Diagrams are two of the most important models of the system created during early phases of software devel

APA, Harvard, Vancouver, ISO, and other styles

32

Aouag, Mouna, Raida Elmansouri, and Allaoua Chaoui. "From UML 2.0 diagrams to aspect oriented diagrams using graph transformation." International Journal of Computer Aided Engineering and Technology 6, no. 2 (2014): 200. http://dx.doi.org/10.1504/ijcaet.2014.060309.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Franco, Juliana Rocha, and Priscila Monteiro Borges. "O conceito de diagrama em Peirce: uma leitura semiótica para além da gramática especulativa." Cognitio-Estudos: revista eletrônica de filosofia 14, no. 1 (2017): 45. http://dx.doi.org/10.23925/1809-8428.2017v14i1p45-54.

Full text

Abstract:

A proposta do presente artigo é explorar o conceito de diagrama e de raciocínio diagramático envolvendo a semiótica em seus três ramos e não somente na Gramática Especulativa. Nos deteremos na apreensão do movimento do raciocínio que diagramaticamente se inicia na Gramática Especulativa, atravessa a Lógica Crítica e se consolida na Metodêudica. Buscaremos aplicar a lógica tricotômica de Peirce para relacionar os modos de raciocínio com os diagramas. Dessa forma, considerando uma possível relação entre o hipoícone e as três classes de signos icônicos nas dez classes de signos e os modos de infe

APA, Harvard, Vancouver, ISO, and other styles

34

Stein Júnior, Altair Von, Andreia Malucelli, and Laudelino Cordeiro Bastos. "Especificação de sistema de informação de microáreas de risco utilizando a abordagem orientada a objetos." Revista Eletrônica de Enfermagem 11, no. 4 (2009): 866. http://dx.doi.org/10.5216/ree.v11i4.33241.

Full text

Abstract:

O programa de saúde da família é uma estratégia que norteia a assistência à saúde por meio de ações assistenciais, educacionais, de promoção e prevenção aos agravos à saúde. Como método de trabalho as equipes realizam o reconhecimento da comunidade buscando identificar áreas de maior risco à saúde para planejarem ações. Para isso são obtidos dados de diversos sistemas de informação, entretanto, esses sistemas nem sempre permitem a aquisição de dados atualizados ou referentes às condições de áreas específicas. Assim, o objetivo deste estudo é apresentar a especificação de um sistema de informaç

APA, Harvard, Vancouver, ISO, and other styles

35

Cortellessa, Vittorio, and Raffaela Mirandola. "PRIMA-UML: a performance validation incremental methodology on early UML diagrams." Science of Computer Programming 44, no. 1 (2002): 101–29. http://dx.doi.org/10.1016/s0167-6423(02)00033-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Ma, Zi Long, Li Qing Fang, and Chang Rong Wang. "Research of Weapon Training Simulator Software Model Based on UML." Applied Mechanics and Materials 599-601 (August 2014): 1625–28. http://dx.doi.org/10.4028/www.scientific.net/amm.599-601.1625.

Full text

Abstract:

In the weapon maintenance and training simulator software system development process, with the object-oriented analysis methods introduced, the software system was modeled by the Unified Modeling Language (UML), and described with case diagrams, class diagrams, sequence diagrams and activity diagrams. The results show that modeling by UML can standardize systems development process, optimize software structure, improve the efficiency of system development and enhance the readability and maintainability. Results of this study for the design and development of weapons maintenance and training si

APA, Harvard, Vancouver, ISO, and other styles

37

Jemni Ben Ayed, Leila, and Najet Hamdi. "From UML Activities Diagrams to Event B." IFAC Proceedings Volumes 42, no. 4 (2009): 420–25. http://dx.doi.org/10.3182/20090603-3-ru-2001.0439.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

More, Priyanka, and Rashmi Phalnikar. "Generating UML Diagrams from Natural Language Specifications." International Journal of Applied Information Systems 1, no. 8 (2012): 19–23. http://dx.doi.org/10.5120/ijais12-450222.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Adamu, Alhassan, and Wan Mohd Nazmee Wan Zainon. "Multiview Similarity Assessment Technique of UML Diagrams." Procedia Computer Science 124 (2017): 311–18. http://dx.doi.org/10.1016/j.procs.2017.12.160.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Neto, Raul Antonio Cortiana, Kleinner Farias, Vinicius Bischoff, and Lucian José Gonçales. "Supporting collaborative modelling in UML class diagrams." Revista Brasileira de Computação Aplicada 11, no. 3 (2019): 39–46. http://dx.doi.org/10.5335/rbca.v11i3.8469.

Full text

Abstract:

Background. Modeling architectural aspects of the system is an essential activity in software development. Inthis context, developers work in parallel, and collaborate to define application software models, such as classdiagrams. Problem. Although many software modeling tools have been proposed, there is a lack of distributed collaboration features. Solution. This study proposes C-SAMT, a web tool for collaborative modeling of UML class diagrams. Developers can benefit from using C-SAMT when performing modeling tasks, such as creating domain models in parallel, and collaboratively. Evaluation.

APA, Harvard, Vancouver, ISO, and other styles

41

Barashev, Ivan. "Translating Semantic Networks to UML Class Diagrams." Procedia Computer Science 96 (2016): 946–50. http://dx.doi.org/10.1016/j.procs.2016.08.085.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Tsiolakis, Aliki. "Integrating Model Information in UML Sequence Diagrams." Electronic Notes in Theoretical Computer Science 50, no. 3 (2001): 266–74. http://dx.doi.org/10.1016/s1571-0661(04)00178-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Kim, Y. G., H. S. Hong, D. H. Bae, and S. D. Cha. "Test cases generation from UML state diagrams." IEE Proceedings - Software 146, no. 4 (1999): 187. http://dx.doi.org/10.1049/ip-sen:19990602.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Wang, Cong. "An Operational Semantics for UML Activity Diagrams." Journal of Computer Research and Development 44, no. 10 (2007): 1801. http://dx.doi.org/10.1360/crad20071024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Eshuis, Rik. "Symbolic model checking of UML activity diagrams." ACM Transactions on Software Engineering and Methodology 15, no. 1 (2006): 1–38. http://dx.doi.org/10.1145/1125808.1125809.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Eshuis, R., and R. Wieringa. "Tool support for verifying UML activity diagrams." IEEE Transactions on Software Engineering 30, no. 7 (2004): 437–47. http://dx.doi.org/10.1109/tse.2004.33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Milicev, D. "Domain mapping using extended UML object diagrams." IEEE Software 19, no. 2 (2002): 90–97. http://dx.doi.org/10.1109/52.991369.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Zhou, Yuming, and Baowen Xu. "Measuring structure complexity of UML class diagrams." Journal of Electronics (China) 20, no. 3 (2003): 227–31. http://dx.doi.org/10.1007/bf02687710.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Ferreira, Patrícia, Augusto Sampaio, and Alexandre Mota. "Viewing CSP Specifications with UML-RT Diagrams." Electronic Notes in Theoretical Computer Science 195 (January 2008): 57–74. http://dx.doi.org/10.1016/j.entcs.2007.08.026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

LAM, VITUS S. W., and JULIAN PADGET. "EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS." International Journal of Software Engineering and Knowledge Engineering 22, no. 02 (2012): 265–304. http://dx.doi.org/10.1142/s0218194012500076.

Full text

Abstract:

We demonstrate how a subset of UML statechart diagrams (SCDs) as distinct from statecharts is encoded in the π-calculus as a number of processes which communicate via a channel-passing interaction paradigm. An extension to the original UML semantics for communicating statechart diagrams is presented. Different sorts of equivalences of UML SCDs encompassing isomorphism, strong behavioural equivalence and weak behavioural equivalence are defined. Determining equivalence of any two UML SCDs is transformed to a problem of checking whether their respective π-calculus process expressions are equival

APA, Harvard, Vancouver, ISO, and other styles

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!