skip to main content

Idioma:

Resultados de 1 a 10 de 7.273 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (5.553)

Refinado por: Base de dados/Biblioteca: Gale Academic OneFile

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artigo		Formalizing UML State Machines for Automated Verification – A Survey André, Étienne ; Liu, Shuang ; Liu, Yang ; Choppy, Christine ; Sun, Jun ; Dong, Jin Song ACM computing surveys, 2023-07, Vol.55 (13s), p.1-47, Article 277 [Periódico revisado por pares] New York, NY: ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Artigo		A Survey on UML-Based Aspect-Oriented Design Modeling WIMMER, Manuel ; SCHAUERHUBER, Andrea ; KAPPEL, Gerti ; RETSCHITZEGGER, Werner ; SCHWINGER, Wieland ; KAPSAMMER, Elizabeth ACM computing surveys, 2011-10, Vol.43 (4), p.1-33 [Periódico revisado por pares] New York, NY: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Artigo		A fast prototype for modeling IP cores using in SoC with UML Marte Ahcene Youcef, Benabdallah ; Rachid, Boudour Informatica (Ljubljana), 2021-10, Vol.45 (6) [Periódico revisado por pares] Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Dependability modeling and analysis of software systems specified with UML Bernardi, Simona ; Merseguer, José ; Petriu, Dorina C. ACM computing surveys, 2012-11, Vol.45 (1), p.1-48 [Periódico revisado por pares] Baltimore: Association for Computing Machinery Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Artigo		A UML-based Approach towards Test Case Generation and Optimization Saleem, Shahid ; Malik, Saif U.R ; Mehboob, Bilal ; Alroobaea, Roobaea ; Algarni, Sultan ; Baqasah, Abdullah M ; Ahmad, Naveed ; Hasnain, Muhammad KSII Transactions on Internet and Information Systems, 2024, 18(3), , pp.633-652 [Periódico revisado por pares] KSII, the Korean Society for Internet Information Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		VeriSIM: A model-based learning pedagogy for fostering software design evaluation skills in computer science undergraduates Prasad, Prajish ; Iyer, Sridhar Research and practice in technology enhanced learning, 2022-05, Vol.17 (1), p.1-35, Article 22 [Periódico revisado por pares] Singapore: Springer Nature Singapore Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Artigo		Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification Mouakher, Inès ; Dhaou, Fatma ; Attiogbé, J. Christian Journal of computer science and technology, 2022-02, Vol.37 (1), p.4-28 [Periódico revisado por pares] Singapore: Springer Singapore Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Artigo		Model-to-Model Transformation: From UML Class Diagrams to Labeled Property Graphs León, Ana ; Santos, Maribel Yasmina ; García, Alberto ; Casamayor, Juan Carlos ; Pastor, Oscar Business & information systems engineering, 2024-02, Vol.66 (1), p.85-110 [Periódico revisado por pares] Wiesbaden: Springer Fachmedien Wiesbaden Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		UML2Merge: a UML extension for model merging Farias, Kleinner ; Cavalcante de Oliveira, Toacy ; José Gonçales, Lucian ; Bischoff, Vinicius IET software, 2019-12, Vol.13 (6), p.575-586 [Periódico revisado por pares] The Institution of Engineering and Technology Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		Are the UML modelling tools powerful enough for practitioners? A literature review Ozkaya, Mert IET software, 2019-10, Vol.13 (5), p.338-354 [Periódico revisado por pares] The Institution of Engineering and Technology Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 7.273 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Revistas revisadas por pares (5.553)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento