skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover Base de dados/Biblioteca: IEEE Electronic Library (IEL) Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Symbolic Semantics and Program Reduction
Symbolic Semantics and Program Reduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic Semantics and Program Reduction

Ambriola, V. ; Giannotti, F. ; Pedreschi, D. ; Turini, F.

IEEE transactions on software engineering, 1985-08, Vol.SE-11 (8), p.784-794 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
2
Using Annotations to Make Recursion Equations Behave
Using Annotations to Make Recursion Equations Behave
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Annotations to Make Recursion Equations Behave

Schwarz, J.

IEEE transactions on software engineering, 1982-01, Vol.SE-8 (1), p.21-33 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
Compiling Quantamorphisms for the IBM Q Experience
Compiling Quantamorphisms for the IBM Q Experience
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compiling Quantamorphisms for the IBM Q Experience

Neri, Ana ; Barbosa, Rui Soares ; Oliveira, Jose N.

IEEE transactions on software engineering, 2022-11, Vol.48 (11), p.4339-4356 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
4
A Look into Programmers' Heads
A Look into Programmers' Heads
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Look into Programmers' Heads

Peitek, Norman ; Siegmund, Janet ; Apel, Sven ; Kastner, Christian ; Parnin, Chris ; Bethmann, Anja ; Leich, Thomas ; Saake, Gunter ; Brechmann, Andre

IEEE transactions on software engineering, 2020-04, Vol.46 (4), p.442-462 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
Node.js: Using JavaScript to Build High-Performance Network Programs
Node.js: Using JavaScript to Build High-Performance Network Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Node.js: Using JavaScript to Build High-Performance Network Programs

Tilkov, Stefan ; Vinoski, Steve

IEEE internet computing, 2010-11, Vol.14 (6), p.80-83 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
6
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Degano, Pierpaolo ; Ferrari, Gian-Luigi ; Galletta, Letterio

IEEE transactions on software engineering, 2016-06, Vol.42 (6), p.505-529 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
Magic Potion: Incorporating New Development Paradigms through Metaprogramming
Magic Potion: Incorporating New Development Paradigms through Metaprogramming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Magic Potion: Incorporating New Development Paradigms through Metaprogramming

Djuric, D ; Devedzic, V

IEEE software, 2010-09, Vol.27 (5), p.38-44 [Periódico revisado por pares]

Los Alamitos: IEEE

Texto completo disponível

Citações Citado por
8
Guest Editors' Introduction: Multiparadigm Programming
Guest Editors' Introduction: Multiparadigm Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Guest Editors' Introduction: Multiparadigm Programming

Wampler, Dean ; Clark, Tony

IEEE software, 2010-09, Vol.27 (5), p.20-24 [Periódico revisado por pares]

Los Alamitos: IEEE

Texto completo disponível

Citações Citado por
9
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Galeotti, Juan P. ; Furia, Carlo A. ; May, Eva ; Fraser, Gordon ; Zeller, Andreas

IEEE transactions on software engineering, 2015-10, Vol.41 (10), p.1019-1037 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
10
Incremental change in object-oriented programming
Incremental change in object-oriented programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Incremental change in object-oriented programming

Rajlich, V. ; Gosavi, P.

IEEE software, 2004-07, Vol.21 (4), p.62-69 [Periódico revisado por pares]

Los Alamitos: 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.   

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

Buscando em bases de dados remotas. Favor aguardar.