skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Uml remover assunto: Unified Modeling Language remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formalizing UML State Machines for Automated Verification – A Survey
Formalizing UML State Machines for Automated Verification – A Survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

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

Citações Citado por
2
Verification and Validation for Quality of UML 2.0 Models
Verification and Validation for Quality of UML 2.0 Models
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification and Validation for Quality of UML 2.0 Models

Unhelkar, Bhuvan

Wiley-Interscience 2005

Texto completo disponível

Citações Citado por
3
OCUP 2 certification guide: preparing for the OMG certified UML 2.5 Professional 2 Foundation Exam
OCUP 2 certification guide: preparing for the OMG certified UML 2.5 Professional 2 Foundation Exam
Material Type:
Livro 		Adicionar ao Meu Espaço

OCUP 2 certification guide: preparing for the OMG certified UML 2.5 Professional 2 Foundation Exam

Chonoles, Michael Jesse

Place of publication not identified: Morgan Kaufmann 2017

Texto completo disponível

Citações Citado por
4
Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems
Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

Samek, Miro

Milton: CRC Press 2009

Texto completo disponível

Citações Citado por
5
UMLsecRT: Reactive Security Monitoring of Java Applications with Round-Trip Engineering
UMLsecRT: Reactive Security Monitoring of Java Applications with Round-Trip Engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

UMLsecRT: Reactive Security Monitoring of Java Applications with Round-Trip Engineering

Peldszus, Sven ; Burger, Jens ; Jurjens, Jan

IEEE transactions on software engineering, 2024-01, Vol.50 (1), p.1-31 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
Maintaining Consistency across Engineering Artifacts
Maintaining Consistency across Engineering Artifacts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Maintaining Consistency across Engineering Artifacts

Egyed, Alexander ; Zeman, Klaus ; Hehenberger, Peter ; Demuth, Andreas

Computer (Long Beach, Calif.), 2018-02, Vol.51 (2), p.28-35 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
A systematic review of UML model consistency management
A systematic review of UML model consistency management
Material Type:
Artigo 		Adicionar ao Meu Espaço

A systematic review of UML model consistency management

Lucas, Francisco J. ; Molina, Fernando ; Toval, Ambrosio

Information and software technology, 2009-12, Vol.51 (12), p.1631-1645 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models

Yue, Tao ; Briand, Lionel C ; Labiche, Yvan

ACM transactions on software engineering and methodology, 2015-05, Vol.24 (3), p.1-52 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
9
Object-oriented analysis and design for information systems: modeling with UML, OCL, and IFML
Object-oriented analysis and design for information systems: modeling with UML, OCL, and IFML
Material Type:
Livro 		Adicionar ao Meu Espaço

Object-oriented analysis and design for information systems: modeling with UML, OCL, and IFML

Wazlawick, Raul Sidnei

Morgan Kaufmann 2014

Texto completo disponível

Citações Citado por
10
Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach
Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach

Rodríguez, Alfonso ; Guzmán, Ignacio García-Rodríguez de ; Fernández-Medina, Eduardo ; Piattini, Mario

Information and software technology, 2010-09, Vol.52 (9), p.945-971 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (152)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (396)
  2. Artigos  (155)
  3. Livros  (29)
  4. magazinearticle  (2)
  5. Book Chapters  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (15)
  2. 2001Até2006  (153)
  3. 2007Até2012  (310)
  4. 2013Até2019  (142)
  5. Após 2019  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.