Buscar
Mostrando ítems 3761-3770 de 14795
O desenvolvimento dirigido por testes e comportamento
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOCurso de Especialização em InformáticaUFMG, 2012-06-06)
Systems are becoming increasingly complex and an increasing number of
information to be processed and persisted. One of the challenges of Software
Engineering is to deliver reliable software with high quality. However, ...
Diseño e implementación de software de simulación virtual de análisis químico para ensayos del laboratorio de química de la Facultad de Ingeniería en la Universidad Católica de Santiago de Guayaquil.
(Universidad Católica de Santiago de Guayaquil, 2019)
A contribuição da associação entre genealogia acadêmica e bibliometria para a avaliação de Programas de Pós-Graduação
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Informação - PPGCICâmpus São Carlos, 2020-07-28)
The measurement of scientific production is an object of studies much explored in Information Science, through Bibliometrics, which allows to evaluate the performance of researchers and the impacts of their productions, ...
Automated abstractions for contract validation
(IEEE Computer Society, 2012-01)
Pre/postcondition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can ...
HidroEsta, software for hydrological calculations
(Instituto Tecnológico de Costa Rica, 2016)