skip to main content

Idioma:

Resultados de 1 a 10 de 571 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 (334)

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Capítulo de Livro		Institutions for OCL-Like Expression Languages Knapp, Alexander ; Cengarle, María Victoria Hennicker, Rolf ; De Nicola, Rocco Software, Services, and Systems, p.193-214 [Periódico revisado por pares] Cham: Springer International Publishing Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Ata de Congresso		Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report Bauerdick, Hanna ; Gogolla, Martin ; Gutsche, Fabian Baar, Thomas ; Strohmeier, Alfred ; Mellor, Stephen J. ; Moreira, Ana Lecture notes in computer science, 2004, p.188-196 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Capítulo de Livro		Validating UML Models and OCL Constraints Richters, Mark ; Gogolla, Martin Evans, Andy ; Kent, Stuart ; Selic, Bran UML≫ 2000 — The Unified Modeling Language, p.265-277 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Artigo		Verifying the structure and behavior in UML/OCL models using satisfiability solvers Przigoda, Nils ; Soeken, Mathias ; Wille, Robert ; Drechsler, Rolf IET cyber-physical systems, 2016-12, Vol.1 (1), p.49-59 [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
5	Material Type: Capítulo de Livro		Core Meta-Modelling Semantics of UML: The pUML Approach Evans, Andy ; Kent, Stuart France, Robert ; Rumpe, Bernhard UML»’99 — The Unified Modeling Language, p.140-155 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Artigo		Definitions and Computational Properties of OCL: A Systematic Review Rajic, Goran ; Sruk, Vlado IEEE access, 2024-07, p.1-1 [Periódico revisado por pares] IEEE Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Ata de Congresso		An approach for synchronizing UML models and narrative text in literate modeling Schulze, Gunnar ; Chimiak-Opoka, Joanna ; Arlow, Jim Breu, Ruth ; Atkinson, Colin ; France, Robert B. ; Kazmeier, Jürgen ; Atkinson, Colin ; Breu, Ruth ; France, Robert B. ; Kazmeier, Jürgen Model Driven Engineering Languages and Systems, 2012, p.595-608 [Periódico revisado por pares] Berlin, Heidelberg: Springer-Verlag Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Capítulo de Livro		A Generic Platform for Model-Based Regression Testing Zech, Philipp ; Felderer, Michael ; Kalb, Philipp ; Breu, Ruth Margaria, Tiziana ; Steffen, Bernhard Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p.112-126 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Artigo		Automating Utility Permitting within Highway Right-of-Way via a Generic UML/OCL Model and Natural Language Processing Xu, Xin ; Chen, Kaiwen ; Cai, Hubo Journal of construction engineering and management, 2020-12, Vol.146 (12) [Periódico revisado por pares] New York: American Society of Civil Engineers Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Artigo		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 Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 571 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 (334)

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