Buscar

Mostrando ítems 1-6 de 6

Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contextoGenerating test suites for reactive and real-time systems, with context transformations

Bonifácio, Adilson Luiz ([s.n.], 2009)

NAT2TEST: generating test cases from natural language requirements based on CSP

CARVALHO, Gustavo Henrique Porto de (Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)

Um modelo de despacho e pré-despacho de retaivas através de algoritmos genéticos, fluxo de potência ótimo e busca tabu = A model of reactive dispatch and a model of short-term reactive operation planning through geneti algorithms, optimal power flow and search tabuA model of reactive dispatch and a model of short-term reactive operation planning through geneti algorithms, optimal power flow and search tabu

Modesto, Sonia Angelina Garcia ([s.n.], 2003)

Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

MEIRA, Igor de Araújo (Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2020)

CPN simulation-based test case generation from natural language requirements

SILVA, Bruno Cesar Ferreira (Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)

Thermal decomposition of sugarcane straw in inert and oxidative atmospheres through thermoanalytical methods = Análise da decomposição térmica de palha de cana-de-açúcar em atmosferas inerte e oxidante mediante métodos termoanalíticosAnálise da decomposição térmica de palha de cana-de-açúcar em atmosferas inerte e oxidante mediante métodos termoanalíticos

Rueda Ordóñez, Yesid Javier ([s.n.], 2016)