Acceder

Bibliografías temáticas / UML diagramos / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: UML diagramos.

Artículos de revistas sobre el tema "UML diagramos"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 1 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "UML diagramos".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

<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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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ç

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!