Automatic analysis of requirements consistency with the B method (2010)
- Authors:
- Autor USP: ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- DOI: 10.1145/1734103.1734114
- Assunto: ANÁLISE DE REQUISITOS
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Software engineering notes
- ISSN: 0163-5948
- Volume/Número/Paginação/Ano: v.35, n.2, p.1-4, 2010
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
SOUSA, Thiago Carvalho de et al. Automatic analysis of requirements consistency with the B method. Software engineering notes, v. 35, n. 2, p. 1-4, 2010Tradução . . Disponível em: https://doi.org/10.1145/1734103.1734114. Acesso em: 19 abr. 2024. -
APA
Sousa, T. C. de, Almeida Junior, J. R. de, Viana, S., & Pavón, J. (2010). Automatic analysis of requirements consistency with the B method. Software engineering notes, 35( 2), 1-4. doi:10.1145/1734103.1734114 -
NLM
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/1734103.1734114 -
Vancouver
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/1734103.1734114 - Auxílio no desenvolvimento do ambiente computacional para avaliação de especificação. (também em CD-Rom)
- Implementação da característica adaptativa a um editor e simulador de sistemas por intermédio de statechatrs
- STAD: uma ferramenta para representação e simulação de sistemas através de statecharts adaptativos
- Segurança em sistemas críticos e em sistemas de informação: um estudo comparativo
- Análise de confiabilidade de sistemas redundantes de armazenamento em discos magnéticos
- A multi-aspect approach to ontology matching based on Bayesian cluster ensembles
- Virtual Museum: an object oriented database case study
- Um sistema especialista para a depuração de software
- Sistemas de reconhecimento biométrico aplicados à segurança de sistemas de informação
- Continuous Data Auditing as an Automation Tool for Business Control
Informações sobre o DOI: 10.1145/1734103.1734114 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas