Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Extending HSI test generation method for software product linesVanderson Hafemann Fragal Adenilso da Silva Simão; Mohammad Reza Mousavi; Uraz Cengiz TurkerThe Computer Journal : Section A : Computer Science Theory, Methods and Tools London : British Computer Society v. 62, n. 1, p. 109-129, Jan. 2019London 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2902271 )(Acessar) |
|
2 |
Material Type: Artigo
|
Generalizing the DS-Methods for testing non-deterministic FSMsAlexandre Petrenko Adenilso da Silva SimãoThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 58, n. 7, p. 1656-1672, 2015London 2015Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2659212 )(Acessar) |
|
3 |
Material Type: Artigo
|
ArchSORS a software process for designing software architectures of service-oriented robotic systemsLucas Bueno Ruas Oliveira Elena Leroux; Katia Romero Felizardo; Flavio Oquendo; Elisa Yumi NakagawaThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 60, n. 9, p. 1363-1381, Set. 2017London 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2833206 )(Acessar) |
|
4 |
Material Type: Artigo
|
Reducing FSM-based test suites with guaranteed fault coverageJorge Francisco Cutigi Adenilso da Silva Simão; Simone do Rocio Senger de SouzaThe Computer Journal: Section A: Computer Science Theory, Methods and Tools London : The British Computer Society v. 59, n. 8, p. 1129-1143, Ago. 2016London 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2755484 )(Acessar) |
|
5 |
Material Type: Livro
|
Computational Algebra and Number TheoryM. Bosma, Wieb van der Poorten, Alf Hazewinkel Wieb Bosma; Alf van der PoortenSpringer Netherlands 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedingsFORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S ThiagarajanBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4763 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Data compression methods and theoryJames A. Storer 1953- (James Andrew)Rockville, Md. Computer Science Press c1988Localização: IME - Inst. Matemática e Estatística (QA810 S884d )(Acessar) |
|
8 |
Material Type: Livro
|
Theoretical computer science essays in memory of Shimon EvenShimon Even; Oded Goldreich; Arnold L Rosenberg 1941; Alan L SelmanBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3895 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Theory and formal methods of computing 94 proceedings of the Second Imperial College WorkshopChris Hankin; I Mackie (Ian); R Nagarajan (Rajagopal); Imperial College of Science, Technology, and Medicine (Great Britain) Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd 1994 Cambridge, England)London Imperial College Press Singapore River Edge, NJ Distributed by World Scientific c1995Localização: IF - Instituto de Física (005.106 W926t 2nd )(Acessar) |
|
10 |
Material Type: Livro
|
Proof Theory of Modal LogicDov M. Barwise, Jon Wansing, Heinrich Gabbay Jon Barwise; Heinrich WansingSpringer Netherlands 1996Acesso online. A biblioteca também possui exemplares impressos. |