skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science, Information Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A computational tool that supports formal diagnosis of process design
A computational tool that supports formal diagnosis of process design
Material Type:
Artigo 		Adicionar ao Meu Espaço

A computational tool that supports formal diagnosis of process design

Ramos, Pedro ; Fiadeiro, Jose Luiz

Information and software technology, 1998-10, Vol.40 (10), p.555-565 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
2
Models for the substitution axiom of UNITY logic
Models for the substitution axiom of UNITY logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Models for the substitution axiom of UNITY logic

Reichwein, Georg ; Fiadeiro, JoséLuiz

Information processing letters, 1993-11, Vol.48 (4), p.171-176 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Agility through coordination
Agility through coordination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Agility through coordination

Andrade, Luı́s Filipe ; Fiadeiro, José Luiz

Information systems (Oxford), 2002-09, Vol.27 (6), p.411-424 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
4
Evolving requirements through coordination contracts
Evolving requirements through coordination contracts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Evolving requirements through coordination contracts

MOREIRA, Ana ; FIADEIRO, José Luiz ; ANDRADE, Luis

Lecture notes in computer science, 2003, p.633-646 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
An architectural approach to auto-adaptive systems
An architectural approach to auto-adaptive systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An architectural approach to auto-adaptive systems

Andrade, L. ; Fiadeiro, J.L.

Proceedings 22nd International Conference on Distributed Computing Systems Workshops, 2002, p.439-444

IEEE

Texto completo disponível

Citações Citado por
6
Coordination architecture for evolvable event-based systems
Coordination architecture for evolvable event-based systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Coordination architecture for evolvable event-based systems

Andrade, L. ; Fiadeiro, J.L.

Proceedings 22nd International Conference on Distributed Computing Systems Workshops, 2002, p.571-572

IEEE

Texto completo disponível

Citações Citado por
7
On local modularity and interpolation in entailment systems
On local modularity and interpolation in entailment systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

On local modularity and interpolation in entailment systems

Veloso, Paulo A.S. ; Fiadeiro, José L. ; Veloso, Sheila R.M.

Information processing letters, 2002-05, Vol.82 (4), p.203-211 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Specification and verification of database dynamics
Specification and verification of database dynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Specification and verification of database dynamics

FIADEIRO, J ; SERNADAS, A

Acta informatica, 1988-08, Vol.25 (6), p.625-661 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
9
The INFOLOG linear tense propositional logic of events and transactions
The INFOLOG linear tense propositional logic of events and transactions
Material Type:
Artigo 		Adicionar ao Meu Espaço

The INFOLOG linear tense propositional logic of events and transactions

Fiadeiro, José ; Sernadas, Amílcar

Information systems (Oxford), 1986, Vol.11 (1), p.61-85 [Periódico revisado por pares]

Oxford: Elsevier Ltd

Texto completo disponível

Citações Citado por
10
Modular construction of logic knowledge bases: An algebraic approach
Modular construction of logic knowledge bases: An algebraic approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular construction of logic knowledge bases: An algebraic approach

Sernadas, Cristina ; Fiadeiro, José ; Sernadas, Amílcar

Information systems (Oxford), 1990, Vol.15 (1), p.37-59 [Periódico revisado por pares]

Oxford: Elsevier Ltd

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  (7)
  2. Anais de Congresso  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (1)
  2. 1986Até1987  (1)
  3. 1988Até1989  (1)
  4. 1990Até1993  (2)
  5. Após 1993  (6)
  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.