skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Nome da Publicação: Ieee Transactions On Software Engineering 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
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
4
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
5
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
6
Refactoring the aspectizable interfaces: an empirical assessment
Refactoring the aspectizable interfaces: an empirical assessment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Refactoring the aspectizable interfaces: an empirical assessment

Tonella, P. ; Ceccato, M.

IEEE transactions on software engineering, 2005-10, Vol.31 (10), p.819-832 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
Analyzing Critical Decision-Based Processes
Analyzing Critical Decision-Based Processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing Critical Decision-Based Processes

Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel

IEEE transactions on software engineering, 2014-04, Vol.40 (4), p.338-365 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
8
An embedded modeling language approach to interactive 3D and multimedia animation
An embedded modeling language approach to interactive 3D and multimedia animation
Material Type:
Artigo 		Adicionar ao Meu Espaço

An embedded modeling language approach to interactive 3D and multimedia animation

Elliott, C.

IEEE transactions on software engineering, 1999-05, Vol.25 (3), p.291-308 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
9
STATEMATE: a working environment for the development of complex reactive systems
STATEMATE: a working environment for the development of complex reactive systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

STATEMATE: a working environment for the development of complex reactive systems

Harel, D. ; Lachover, H. ; Naamad, A. ; Pnueli, A. ; Politi, M. ; Sherman, R. ; Shtull-Trauring, A. ; Trakhtenbrot, M.

IEEE transactions on software engineering, 1990-04, Vol.16 (4), p.403-414 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
10
EVA: a flexible programming method for evolving systems
EVA: a flexible programming method for evolving systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

EVA: a flexible programming method for evolving systems

Matsuura, S. ; Kuruma, H. ; Honiden, S.

IEEE transactions on software engineering, 1997-05, Vol.23 (5), p.296-313 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 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.