Model Checking Interactor Specifications

• http://www.springerlink.com/content/m67k51042wk27604/
• full text

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

Visão geral

autores

• José Francisco Creissac Freitas de Campos
• Campos, José Francisco Creissac Freitas de

data de publicação

• janeiro 1, 2001

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação
• Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

publicada em

• Automated Software Engineering  Revista

Pesquisas

palavras-chave

• Automation surprise
• Interactive systems
• Interactor based specifications
• Interface mode confusion
• Model checking
• Software verification

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1023/a:1011265604021
• https://doi.org/10.1023/a:1011265604021

Informação adicional documento

Página Inicial

• 275

página final

• 310

Volume

• 8

questão

• 3-4