On the formalisation of an application integration language using Z notation MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz International Conference on Enterprise Information Systems 2, 314-319, 2014 | 10 | 2014 |
MATHPOW-Proposta De Aplicativo Mobile Para O Ensino Da Matemática MJ Klein, IC Heineck Anais do Encontro Anual de Tecnologia da Informação 10 (1), 27-27, 2021 | 1 | 2021 |
Formalização da linguagem Guaraná DSL: uma abordagem matemática para especificação formal da sintaxe abstrata utilizando notação Z MJ Klein | 1 | 2015 |
Desenvolvimento de um Modelo Matemático com Atrito Não Linear para o Pêndulo Simples MJ Klein, LB Maraschin, AC Valdiero, LA Rasia Proceeding Series of the Brazilian Society of Computational and Applied …, 2014 | 1 | 2014 |
KID+: Sistema para gerenciamento de jogos digitais educacionais com desenvolvimento guiado por preceitos de usabilidade C Ellwanger, LH Leidemer, MJ Klein, R Schieck SENID, Seminário Nacional de Inclusão Digital 2, 2013 | 1 | 2013 |
SISAGRO-Aplicativo Mobile para Otimizar Investimentos na Agricultura Familiar MJ Klein, MA Angnes Anais do Encontro Anual de Tecnologia da Informação 10 (1), 35-35, 2021 | | 2021 |
Repetidor Wifi De Longo Alcance Construído Com Componentes Eletrônicos Reciclados MJ Klein, JLV Hoffling, DB Goldschmidt, LR Ackermann, CR Stein, ... Anais do Encontro Anual de Tecnologia da Informação 8 (1), 78-78, 2018 | | 2018 |
FORMALIZAÇÃO DA LINGUAGEM GUARANÁ DSL ÇÃO FORMAL, Z NOTAÇÃO, MJ KLEIN | | 2015 |
Modelagem Matemática da Dinâmica Veicular AP Brezolin, M de Fatima Brondani, M Klein, M Zorzella, SCA Willers, ... Proceeding Series of the Brazilian Society of Computational and Applied …, 2014 | | 2014 |
Parcelamento e Troca de Valores de Entrada no Método Binário de Congruência MJ Klein, G Battisti, LA Stein Proceeding Series of the Brazilian Society of Computational and Applied …, 2014 | | 2014 |
Complexibilidade computacional no cálculo de números primos e perfeitos MJ Klein | | 2013 |
Circuitos Integrados 3D S Sawicki, M Klein, R Reis | | |
Formalizaçao Matemática de uma Linguagem de Domınio Especıfico Voltadaa Integraçao de Aplicaçoes Utilizando a Notaçao Z MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz | | |
Especificação Formal da Linguagem Guaraná Utilizando a Notação Z MJ Klein, S Sawicki, F Roos-Frantz, RZ Frantz | | |