Dynamic properties of statecharts: a reachability tree and analysis of some properties (1992)
- Authors:
- USP affiliated authors: MASIERO, PAULO CESAR - ICMC ; MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: Universidad de las Palmas
- Publisher place: Espanha
- Date published: 1992
- Source:
- Título do periódico: Actas
- Conference titles: Conferencia Latinoamericana de Informatica
-
ABNT
MASIERO, Paulo Cesar e BOAVENTURA, I G e MALDONADO, José Carlos. Dynamic properties of statecharts: a reachability tree and analysis of some properties. 1992, Anais.. Espanha: Universidad de las Palmas, 1992. . Acesso em: 29 mar. 2024. -
APA
Masiero, P. C., Boaventura, I. G., & Maldonado, J. C. (1992). Dynamic properties of statecharts: a reachability tree and analysis of some properties. In Actas. Espanha: Universidad de las Palmas. -
NLM
Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 mar. 29 ] -
Vancouver
Masiero PC, Boaventura IG, Maldonado JC. Dynamic properties of statecharts: a reachability tree and analysis of some properties. Actas. 1992 ;[citado 2024 mar. 29 ] - Execucao programada de statecharts
- Mutation testing applied to validate specifications based on statecharts
- Proteum/ST: a tool support statecharts validation based on mutation testing
- Teste de software orientado a objetos e a aspectos: teoria e prática
- Evaluation studies of software testing research in the brazilian symposium on software engineering
- Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri
- Object and systems life cycles reviseted: their use in object-oriented analysis and design methods
- Aplicação do critério análise de mutantes na validação de especificações baseadas em statecharts
- Validação de especificações formais com a aplicação do critério análise de mutantes
- Teste de unidade de programas orientados a aspectos
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas