Navegação por Autor "Kojima, Alfredo Kengi"
Resultados 1-4 de 4
-
Ferramenta de apoio a especificacao utilizando o modelo tf-orm
Edelweiss, Nina; Kojima, Alfredo Kengi (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]TF-ORM (Temporal Functionality in Objects with Roles Model) é um modelo de dados temporal orientado a objetos que visa ser utilizado na especificação formal de sistemas de informação. A especificação de aplicações em TF-ORM ... -
Ferramenta gráfica de especificação em TF-ORM
Kojima, Alfredo Kengi; Edelweiss, Nina (1997) [Resumo publicado em evento] -
Ferramenta visual para especificação de aplicações T-Form
Kojima, Alfredo Kengi; Edelweiss, Nina (1996) [Resumo publicado em evento] -
Modelagem de informações temporais : utilização de uma ferramenta de apoio à especificação
Freitas, Nicole Silva de; Marcant, Erico Martelet; Kojima, Alfredo Kengi (1995) [Resumo publicado em evento]