skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science, Theory & Methods 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
Evaluating the layout quality of UML class diagrams using machine learning
Evaluating the layout quality of UML class diagrams using machine learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evaluating the layout quality of UML class diagrams using machine learning

Bergström, Gustav ; Hujainah, Fadhl ; Ho-Quang, Truong ; Jolak, Rodi ; Rukmono, Satrio Adi ; Nurwidyantoro, Arif ; Chaudron, Michel R.V.

The Journal of systems and software, 2022-10, Vol.192, p.111413, Article 111413 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
4
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Security modelling and formal verification of survivability properties: Application to cyber–physical systems

Bernardi, S. ; Gentile, U. ; Marrone, S. ; Merseguer, J. ; Nardone, R.

The Journal of systems and software, 2021-01, Vol.171, p.110746, Article 110746 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
5
UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases
UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases

Daniel, Gwendal ; Sunyé, Gerson ; Cabot, Jordi

Conceptual Modeling, 2016, p.430-444 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Model-based testing using UML activity diagrams: A systematic mapping study
Model-based testing using UML activity diagrams: A systematic mapping study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-based testing using UML activity diagrams: A systematic mapping study

Ahmad, Tanwir ; Iqbal, Junaid ; Ashraf, Adnan ; Truscan, Dragos ; Porres, Ivan

Computer science review, 2019-08, Vol.33, p.98-112

Texto completo disponível

Citações Citado por
7
A systematic identification of consistency rules for UML diagrams
A systematic identification of consistency rules for UML diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

A systematic identification of consistency rules for UML diagrams

Torre, Damiano ; Labiche, Yvan ; Genero, Marcela ; Elaasar, Maged

The Journal of systems and software, 2018-10, Vol.144, p.121-142 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
8
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems

Shin, Seung Yeob ; Chaouch, Karim ; Nejati, Shiva ; Sabetzadeh, Mehrdad ; Briand, Lionel C. ; Zimmer, Frank

The Journal of systems and software, 2021-01, Vol.171, p.110813, Article 110813 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
9
On the verification of UML/OCL class diagrams using constraint programming
On the verification of UML/OCL class diagrams using constraint programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the verification of UML/OCL class diagrams using constraint programming

Cabot, J. ; Clarisó, R. ; Riera, D.

The Journal of systems and software, 2014-07, Vol.93, p.1-23 [Periódico revisado por pares]

New York: Elsevier Inc

Texto completo disponível

Citações Citado por
10
A classification framework for automated control code generation in industrial automation
A classification framework for automated control code generation in industrial automation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A classification framework for automated control code generation in industrial automation

Koziolek, Heiko ; Burger, Andreas ; Platenius-Mohr, Marie ; Jetley, Raoul

The Journal of systems and software, 2020-08, Vol.166, p.110575, Article 110575 [Periódico revisado por pares]

Elsevier Inc

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 (325)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (460)
  2. Artigos  (215)
  3. Book Chapters  (52)
  4. Livros  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (9)
  2. 2000Até2005  (109)
  3. 2006Até2011  (277)
  4. 2012Até2018  (283)
  5. Após 2018  (59)
  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.