Listar por tema "Larch"
Mostrando ítems 1-1 de 1
-
Larch : uma alternativa para especificação formal
(1990) [Tesis de maestría]Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis ...