Letters Documento

• http://dx.doi.org/10.1109/MS.2021.3137431
• http://www.chcduarte.com

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Carlos Henrique Cabral Duarte

data de publicação

• 2022-01-01

publicada em

• Ieee Software 

Pesquisas

áreas de investigação

• Engenharia de Software

palavras-chave

• Disciplina Rely-guarantee
• Engenharia de Requisitos
• Lógica Temporal
• Métodos Formais
• Sistemas Distribuídos
• Transformação Digital

Identidade

identificador BrCris

• ea918e66fcc835521d1d30f0f9c7feb3

Informação adicional documento

série

• 3

Página Inicial

• 9

página final

• 11

Volume

• 39

Outro

tem linguagem

• Inglês