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: Software engineering notes
- ISSN: 0163-5948
- Volume/Número/Paginação/Ano: v.35, n.2, p.1-4, 2010
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 25 fev. 2026. -
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 2026 fev. 25 ] 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 2026 fev. 25 ] Available from: https://doi.org/10.1145/1734103.1734114 - Proveniência de dados em experimentos de software:: uma proposta de melhoria sob a ótica da qualidade de dados
- STAD: uma ferramenta para representação e simulação de sistemas através de statecharts adaptativos
- A Proposal for Mapping IT Professionals' Competence Supported by Multiple Intelligences Theory
- A Representation Model of Design Rationale for the Design of ERP Systems
- Continuous Data Auditing as an Automation Tool for Business Control
- Análise de confiabilidade de sistemas redundantes de armazenamento em discos magnéticos
- Modelagem e simulação de arquiteturas de banco de dados considerando replicação dos dados
- Avaliação de desempenho em banco de dados
- Implementação da característica adaptativa a um editor e simulador de sistemas por intermédio de statechatrs
- Segurança em sistemas críticos e em sistemas de informação: um estudo comparativo
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
