Browsing Computation by Subject "E-DART"
Now showing items 1-1 of 1
-
E-dart : um ambiente de especificação e-lotos
(1998) [Dissertation]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 ...