skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: assunto: Software Engineering remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Codescu, Mihai ; Diaconescu, Răzvan ; Țuțu, Ionuț Codescu, Mihai ; Diaconescu, Răzvan ; šu�Â>u, Ionu�Â

Netherlands: Springer Nature 2015

Texto completo disponível

Citações Citado por
2
On the algebra of structured specifications
On the algebra of structured specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the algebra of structured specifications

Diaconescu, Răzvan ; Ţuţu, Ionuţ

Theoretical computer science, 2011-06, Vol.412 (28), p.3145-3174 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
3
An encoding of partial algebras as total algebras
An encoding of partial algebras as total algebras
Material Type:
Artigo 		Adicionar ao Meu Espaço

An encoding of partial algebras as total algebras

Diaconescu, Răzvan

Information processing letters, 2009-11, Vol.109 (23), p.1245-1251 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
4
Stratified institutions and elementary homomorphisms
Stratified institutions and elementary homomorphisms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stratified institutions and elementary homomorphisms

Aiguier, Marc ; Diaconescu, Răzvan

Information processing letters, 2007-06, Vol.103 (1), p.5-13 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
5
A categorical study on the finiteness of specifications
A categorical study on the finiteness of specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A categorical study on the finiteness of specifications

Diaconescu, Răzvan

Information processing letters, 2008-09, Vol.108 (2), p.75-80 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
6
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Diaconescu, Răzvan ; Țuțu, Ionuț ; Codescu, Mihai

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Interpolation in Grothendieck Institutions
Interpolation in Grothendieck Institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interpolation in Grothendieck Institutions

Diaconescu, Răzvan

Theoretical computer science, 2004-01, Vol.311 (1), p.439-461 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Behavioural Specification for Hierarchical Object Composition
Behavioural Specification for Hierarchical Object Composition
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Behavioural Specification for Hierarchical Object Composition

Diaconescu, Răzvan

Formal Methods for Components and Objects, 2004, p.134-156 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Component-based algebraic specification and verification in cafeOBJ
Component-based algebraic specification and verification in cafeOBJ
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Component-based algebraic specification and verification in cafeOBJ

Diaconescu, R.ăzvan ; Futatsugi, Kokichi ; Iida, Shusaku

FM’99 — Formal Methods, 1999, p.1644-1663 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Organization
Organization
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Organization

Codescu, Mihai ; Diaconescu, Răzvan ; Țuțu, Ionuț

Recent Trends in Algebraic Development Techniques, 2015, Vol.9463

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (8)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (5)
  2. Book Chapters  (5)
  3. Anais de Congresso  (2)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (1)
  2. 1999Até2003  (1)
  3. 2004Até2006  (2)
  4. 2007Até2008  (2)
  5. Após 2008  (8)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.