Navegação por Assunto "Larch"
Resultados 1-1 de 1
-
Larch : uma alternativa para especificação formal
(1990) [Dissertação]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 ...