Navegação Computação por Assunto "E-DART"
Resultados 1-1 de 1
-
E-dart : um ambiente de especificação e-lotos
(1998) [Dissertação]O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de ...