skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
UML in practice
UML in practice
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

UML in practice

Petre, Marian

2013 35th International Conference on Software Engineering (ICSE), 2013, p.722-731

IEEE Press

Texto completo disponível

Citações Citado por
4
A cyber–physical system-based approach for industrial automation systems
A cyber–physical system-based approach for industrial automation systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A cyber–physical system-based approach for industrial automation systems

Thramboulidis, Kleanthis

Computers in industry, 2015-09, Vol.72, p.92-102 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Reasoning on UML class diagrams
Reasoning on UML class diagrams
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reasoning on UML class diagrams

Berardi, Daniela ; Calvanese, Diego ; De Giacomo, Giuseppe

Artificial intelligence, 2005-10, Vol.168 (1), p.70-118 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Leveraging SPARQL Queries for UML Consistency Checking
Leveraging SPARQL Queries for UML Consistency Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Leveraging SPARQL Queries for UML Consistency Checking

Wei, Bingyang ; Sun, Jing

International journal of software engineering and knowledge engineering, 2021-04, Vol.31 (4), p.635-654 [Periódico revisado por pares]

Singapore: World Scientific Publishing Company

Texto completo disponível

Citações Citado por
7
USE: A UML-based specification environment for validating UML and OCL
USE: A UML-based specification environment for validating UML and OCL
Material Type:
Artigo 		Adicionar ao Meu Espaço

USE: A UML-based specification environment for validating UML and OCL

Gogolla, Martin ; Büttner, Fabian ; Richters, Mark

Science of computer programming, 2007-12, Vol.69 (1), p.27-34 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Formal Methods in Railways: A Systematic Mapping Study
Formal Methods in Railways: A Systematic Mapping Study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Methods in Railways: A Systematic Mapping Study

Ferrari, Alessio ; Beek, Maurice H. Ter

ACM computing surveys, 2022-11, Vol.55 (4), p.1-37, Article 69 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
9
A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models
A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models
Material Type:
Artigo 		Adicionar ao Meu Espaço

A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models

Durai, Anand Deva ; Ganesh, Mythily ; Mathew, Rincy Merlin ; Anguraj, Dinesh Kumar

The Journal of supercomputing, 2022-04, Vol.78 (6), p.7677-7699 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
10
Automated Prototype Generation From Formal Requirements Model
Automated Prototype Generation From Formal Requirements Model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Prototype Generation From Formal Requirements Model

Yang, Yilong ; Li, Xiaoshan ; Ke, Wei ; Liu, Zhiming

IEEE transactions on reliability, 2020-06, Vol.69 (2), p.632-656 [Periódico revisado por pares]

New York: IEEE

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (334)
  2. Anais de Congresso  (168)
  3. Livros  (22)
  4. Book Chapters  (17)
  5. Dissertações  (1)
  6. magazinearticle  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (7)
  2. 1999Até2004  (145)
  3. 2005Até2010  (143)
  4. 2011Até2017  (185)
  5. Após 2017  (82)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (542)
  2. Japonês  (13)
  3. Espanhol  (5)
  4. Português  (4)
  5. Catalão  (1)
  6. Francês  (1)
  7. Alemão  (1)
  8. Árabe  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.