skip to main content
Idioma:
Refinado por: autor: Habli, I remover assunto: Sistemas De Informação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Model-based safety analysis of software product lines
Model-based safety analysis of software product lines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-based safety analysis of software product lines

Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly

International Journal of Embedded Systems (IJES) Olney, Bucks, UK : Inderscience Publishers v. 8, n. 5/6, p. 412-426, 2016

Olney, Bucks, UK 2016

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2791333 )(Acessar)

2
A pattern to argue the compliance of system safety requirements decomposition
A pattern to argue the compliance of system safety requirements decomposition
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A pattern to argue the compliance of system safety requirements decomposition

Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; Latin American Conference on Pattern Languages of Programs - SugarLoaf PLoP 2014 (10. 2014 Ilha Bela, SP)

Anais Porto Alegre, RS : 2014

Porto Alegre, RS 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2653137 )(Acessar)

3
Automatic allocation of safety requirements to components of a software product line
Automatic allocation of safety requirements to components of a software product line
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Automatic allocation of safety requirements to components of a software product line

Andre L. de Oliveira (Andre Luiz de Oliveira) Yiannis Papadopoulos; Luís S Azevedo (Luís Pedro da Silva Azevedo); David Parker; Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes - SafeProcess 2015 (9. 2015 Paris, FR)

IFAC-PapersOnLine Paris, FR : IFAC/Elsevier v. 48, n. 21, p. 1309-1314, 2015

Paris, FR IFAC/Elsevier 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2725739 )(Acessar)

4
Impact of feature interaction on the safety analysis for unmanned avionics product lines
Impact of feature interaction on the safety analysis for unmanned avionics product lines
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Impact of feature interaction on the safety analysis for unmanned avionics product lines

Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Ibrahim Habli; Tim Kelly; International Conference on Computer Safety, Reliability and Security (32. 2013 Toulouse, France)

Fast Abstract Track Toulouse, France : LAAS-CNRS, 2013

Toulouse, France LAAS-CNRS 2013

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2446104 )(Acessar)

5
Supporting the automated generation of modular product line safety cases
Supporting the automated generation of modular product line safety cases
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Supporting the automated generation of modular product line safety cases

Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; International Conference on Dependability and Complex Systems DepCoS-RELCOMEX 2015 (10. 2015 Brunów, Poland)

Proceedings Cham, Switzerland : Springer International Publishing v. 365, p. 319-330, 2015

Cham, Switzerland Springer International Publishing 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2702858 )(Acessar)

6
A model-based approach to support the automatic safety analysis of multiple product line products
A model-based approach to support the automatic safety analysis of multiple product line products
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A model-based approach to support the automatic safety analysis of multiple product line products

Andre L. de Oliveira (Andre Luiz de Oliveira) Rosana Teresinha Vaccare Braga; Paulo Cesar Masiero; Yiannis Papadopoulos; Ibrahim Habli; Tim Kelly; Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC 2014 (4. 2014 Manaus, AM)

Anais Porto Alegre, RS : SBC, 2014

Porto Alegre, RS SBC 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2653065 )(Acessar)

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

Buscando em bases de dados remotas. Favor aguardar.