skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: ACM Digital Library remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems

Aït-Ameur, Yamine ; Bogomolov, Sergiy ; Dupont, Guillaume ; Iliasov, Alexei ; Romanovsky, Alexander ; Stankaitis, Paulius

Formal aspects of computing, 2023-03, Vol.35 (1), p.1-1, Article 3 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
A refinement-based development of a distributed signalling system
A refinement-based development of a distributed signalling system
Material Type:
Artigo 		Adicionar ao Meu Espaço

A refinement-based development of a distributed signalling system

Stankaitis, Paulius ; Iliasov, Alexei ; Kobayashi, Tsutomu ; Aït-Ameur, Yamine ; Ishikawa, Fuyuki ; Romanovsky, Alexander

Formal aspects of computing, 2021-12, Vol.33 (6), p.1009-1036 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
3
Conversational group service
Conversational group service
Material Type:
Artigo 		Adicionar ao Meu Espaço

Conversational group service

ROMANOVSKY, A. B

Operating systems review, 1997, Vol.31 (1), p.54-63

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
FSE16 Foundation of Software Engineering: 4th International Workshop on Exception Handling (WEH'2008)
FSE16 Foundation of Software Engineering: 4th International Workshop on Exception Handling (WEH'2008)
Material Type:
Livro 		Adicionar ao Meu Espaço

FSE16 Foundation of Software Engineering: 4th International Workshop on Exception Handling (WEH'2008)

Garcia, Alessandro ; Dony, Christophe ; Kienzle, Jörg ; Romanovsky, Alexander B.

ACM 2008

Texto completo disponível

Citações Citado por
5
MASTAC: new curriculum for master and doctoral studies in critical software and computing
MASTAC: new curriculum for master and doctoral studies in critical software and computing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

MASTAC: new curriculum for master and doctoral studies in critical software and computing

Kharchenko, Vyacheslav ; Phillips, Chris ; Popov, Peter ; Pomorova, Oksana ; Romanovsky, Alexander ; Troubitsyna, Elena

International Conference on Software Engineering 2008, 2008, Vol.2008 (23), p.59-64

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project
Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deployment of formal methods in industry: the legacy of the FP7 ICT DEPLOY integrated project

Romanovsky, Alexander

Software engineering notes, 2012-09, Vol.37 (5), p.1-4

Texto completo disponível

Citações Citado por
7
How to evolve exception handling in Ada
How to evolve exception handling in Ada
Material Type:
Artigo 		Adicionar ao Meu Espaço

How to evolve exception handling in Ada

Romanovsky, Alexander

ACM SIGAda Ada Letters, 2001-09, Vol.XXI (3), p.16-18

Texto completo disponível

Citações Citado por
8
On using the CAMA framework for developing open mobile fault tolerant agent systems
On using the CAMA framework for developing open mobile fault tolerant agent systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On using the CAMA framework for developing open mobile fault tolerant agent systems

Arief, Budi ; Iliasov, Alexei ; Romanovsky, Alexander

International Conference on Software Engineering: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems; 22-23 May 2006, 2006, p.29-36

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
Context-aware exception handling in mobile agent systems: the MoCA case
Context-aware exception handling in mobile agent systems: the MoCA case
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Context-aware exception handling in mobile agent systems: the MoCA case

Damasceno, Karla ; Cacho, Nelio ; Garcia, Alessandro ; Romanovsky, Alexander ; Lucena, Carlos

International Conference on Software Engineering: Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems; 22-23 May 2006, 2006, p.37-44

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Diversely designed classes for use by multiple tasks
Diversely designed classes for use by multiple tasks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Diversely designed classes for use by multiple tasks

Romanovsky, Alexander

ACM SIGAda Ada Letters, 2000-03, Vol.XX (1), p.25-37

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.   

Mostrar Somente

  1. Revistas revisadas por pares (2)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (3)
  2. 2000Até2002  (9)
  3. 2003Até2005  (22)
  4. 2006Até2010  (25)
  5. Após 2010  (7)
  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.