8 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Analysing refactoring dependencies using graph transformationMens, Tom ; Taentzer, Gabriele ; Runge, OlgaSoftware and systems modeling, 2007-09, Vol.6 (3), p.269-285 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph TransformationBucchiarone, Antonio ; Ehrig, Hartmut ; Ermel, Claudia ; Pelliccione, Patrizio ; Runge, Olga Hennicker, Rolf ; De Nicola, RoccoSoftware, Services, and Systems, p.582-601 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling SystemBiermann, Enrico ; Ermel, Claudia ; Lambers, Leen ; Prange, Ulrike ; Runge, Olga ; Taentzer, GabrieleInternational journal on software tools for technology transfer, 2010-07, Vol.12 (3-4), p.245-261 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph TransformationsRunge, Olga ; Ermel, Claudia ; Taentzer, Gabriele Schürr, Andy ; Varró, Dániel ; Varró, GergelyApplications of Graph Transformations with Industrial Relevance, p.81-88 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
Testing against Visual Contracts: Model-Based CoverageKhan, Tamim Ahmed ; Runge, Olga ; Heckel, Reiko Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Kreowski, Hans-JörgGraph Transformations, p.279-293 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Confluence in Data Reduction: Bridging Graph Transformation and KernelizationEhrig, Hartmut ; Ermel, Claudia ; Hüffner, Falk ; Niedermeier, Rolf ; Runge, Olga Löwe, Benedikt ; Cooper, S. Barry ; Dawar, AnujHow the World Computes, p.193-202 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Detecting Structural Refactoring Conflicts Using Critical Pair AnalysisMens, Tom ; Taentzer, Gabriele ; Runge, OlgaElectronic notes in theoretical computer science, 2005-04, Vol.127 (3), p.113-128Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Self-Repairing systems modeling and verification using AGGBucchiarone, A. ; Pelliccione, P. ; Vattani, C. ; Runge, O.2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, 2009, p.181-190IEEETexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Artigos (4)
- Book Chapters (3)
- Anais de Congresso (1)
-
Mais opções
Assunto
- Graph Transformation (5)
- Computer Science (4)
- Software Engineering (3)
- Agg (3)
- Science & Technology (3)
- Technology (3)
- Computer Science, Software Engineering (2)
- Graph Transformation Tool (2)
- Critical Pair Analysis (2)
- Refactoring (2)
- Composite Service (1)
- Business Process (1)
- Artificial Intelligence (1)
- Computer Displays (1)
- Compiler (1)
- Applied Sciences (1)
- Comparative Studies (1)
- Compilers (1)
- Betrieblicher Umweltschutz (1)
- Agg 2.0 (1)
-
Mais opções
Data de Publicação
- Antes de2005 (1)
- 2005Até2006 (1)
- 2007Até2008 (1)
- 2009Até2010 (2)
- Após 2010 (4)
-
Mais opções
Base de Dados/Biblioteca
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (4)
- SpringerLINK Lecture Notes in Computer Science (2015) (4)
- Springer Nature - Springer Journals All 2022 (2)
- EBSCOhost Computers and Applied Sciences Complete (2)
- SpringerLink (Online service) (2)
- EZB Free E-Journals (1)
- ROAD: Directory of Open Access Scholarly Resources (1)
- EBSCOhost Academic Search Premier (1)
- Science Citation Index Expanded (Web of Science) (1)
- IEEE Electronic Library (IEL) Conference Proceedings (1)
- ScienceDirect (Online service) (1)
-
Mais opções
Nome da Publicação
- Lecture Notes In Computer Science (1)
- Electronic Notes In Theoretical Computer Science (1)
- Software, Services, And Systems (1)
- Software And Systems Modeling (1)
- Software, Services, And Systems, Essays Dedicated To Martin Wirsing On The Occasion Of His Retirement From The Chair Of Programming And Software Engineering (1)
- International Journal On Software Tools For Technology Transfer (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 