Now showing items 31-40 of 619
Run-Time Assertion Checking with Énfasis
(Revista Computación y Sistemas; Vol. 13 No.3, 2010-02-18)
Abstract. Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time ...
GingaForAll: linha de Produtos do Middleware Ginga
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-12-16)
Many challenges have been imposed on the middleware to support applications for digital TV because of the heterogeneity and resource constraints of execution platforms. In this scenario, the middleware must be highly ...
Methodological aspects for modeling the environmental risk of transporting hazardous materials by road
The main objective of this paper is to establish the procedures necessary to the development of a model for the environmental risk assessment of accidents involving Transporting Hazardous Materials by Road (THMR). Quantifying ...
The crosscutting impact of the AOSD Brazilian research community
(Elsevier Science IncNew YorkEUA, 2013)
Composition of Dynamic Analysis Aspects
Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances in exhaustive weaving in core libraries. Casting dynamic analyses as ...
Um modelo conceitual baseado em MDD e padrões para evolução de sistemas OA
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-08-02)
﻿Aspect-Oriented Software Development (AOSD) is a technique that complements the Object- Oriented Software Development (OOSD) modularizing several concepts that OOSD approaches do not modularize appropriately. ...