skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: Base de dados/Biblioteca: ANTE: Abstracts in New Technology & Engineering remover 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 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
4
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
5
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
6
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
7
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
8
Salient features of an executable specification language and its environment
Salient features of an executable specification language and its environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Salient features of an executable specification language and its environment

Zave, P. ; Schell, W.

IEEE transactions on software engineering, 1986-02, Vol.SE-12 (2), p.312-325 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
9
Parameterized Programming
Parameterized Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Programming

Goguen, Joseph A.

IEEE transactions on software engineering, 1984-09, Vol.SE-10 (5), p.528-543 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
10
Implementation of an FP-Shell
Implementation of an FP-Shell
Material Type:
Artigo 		Adicionar ao Meu Espaço

Implementation of an FP-Shell

Kamath, Y.H. ; Matthews, M.M.

IEEE transactions on software engineering, 1987-05, Vol.SE-13 (5), p.532-539 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

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

Buscando em bases de dados remotas. Favor aguardar.