Biblioteca Digital de Teses e Dissertações da USP 1

Stevaux, Rodrigo Ehrlich 1

Dissertação 1

Inglês 1

Alloy analyzer 1 Bounded-model checking 1 Capitalization table management 1 Domain-specific formalisms 1 Especificação formal 1 Especificações de dados semânticas 1 Mais ... Financiamento de capital de risco 1 Formal methods 1 Formal specification 1 Formalismos específicos do domínio 1 Gestão de tabela de capitalização 1 Métodos formais 1 Semantic data specifications 1 Venture capital 1 Verificação de modelo limitado 1 Ver todos ... menos ...