Author of the publication

Supporting the Automated Generation of Modular Product Line Safety Cases.

, , , , , and . DepCoS-RELCOMEX, volume 365 of Advances in Intelligent Systems and Computing, page 319-330. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Uso de Aspectos para Verificar Regras de Instanciação de Frameworks., , and . RITA, 11 (2): 9-20 (2004)Variability management in safety-critical systems design and dependability analysis., , , , , , and . Journal of Software: Evolution and Process, (2019)Managing SPL Variabilities in UAV Simulink Models with Pure: : variants and Hephaestus., , and . CLEI Electron. J., (2013)Systematic Evaluation of Software Product Line Architectures., , , , and . J. Univers. Comput. Sci., 19 (1): 25-52 (2013)JSD as an object-oriented design method., and . ACM SIGSOFT Softw. Eng. Notes, 13 (3): 22-23 (1988)Experiments on Pattern Language-Based Modeling., , and . SBES, page 31-46. SBC, (2003)Extensões ao HMBS para Especificação de Apresentações Hipermídia., , and . SBES, page 241-256. SBC, (1996)Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts., , and . SBES, page 429-444. SBC, (1997)Apoio por Computador à Criação de Especificações Operacionais., and . SBES, page 203-217. SBC, (1990)Reengenharia com Uso de Padrões de Projeto., , , and . SBES, page 244-259. SBC, (1999)