1
|
Material Type: Artigo
|
|
Generalizing the DS-Methods for testing non-deterministic FSMs
Alexandre Petrenko Adenilso da Silva Simão
The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015
London 2015
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD 2659212 )(Acessar)
|
2
|
Material Type: Artigo
|
|
ArchSORS a software process for designing software architectures of service-oriented robotic systems
Lucas Bueno Ruas Oliveira Elena Leroux; Katia Romero Felizardo; Flavio Oquendo; Elisa Yumi Nakagawa
The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 60, n. 9, p. 1363-1381, Set. 2017
London 2017
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD 2833206 )(Acessar)
|
3
|
Material Type: Artigo
|
|
Reducing FSM-based test suites with guaranteed fault coverage
Jorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de Souza
The Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016
London 2016
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD 2755484 )(Acessar)
|