Buscar
Mostrando ítems 1-10 de 240
FormAr: software architecture formalization for critical applications
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-11)
Errors during the software development may give rise to flaws in the system
that can cause important damages. One of the most important stages in the
software development process is modelling the system architecture, ...
Valores formales en arquitectura moderna en Quito. Análisis de tres obras institucionales de los hermanos Banderas Vela
(2019-07-08)
This thesis analyzes and assesses the formal values of Modern Architecture through renowned works which are projected by pioneers of architecture such as Mies Van del Rohe and Le Corbusier. Using these works we can reflect ...
Del objeto a la ciudad. Helio Piñón: criterios del proyecto moderno
(Universidad de Cuenca, 2019-12-04)
This research work shows that Helio Piñón, faithful to the modernity principles, have used the same project criteria for all his designs from furniture to urban complexes. Because, Helio seeks an artistic construction ...
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-11-19)
Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the ...
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-02-10)
The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card ...
Transformando modelos Scade em especificações SCR
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
Geração de casos de teste a partir de especificações B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2010-03-29)
With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization ...
Reconfigurações industriais das regiões metropolitanas do Nordeste: uma análise a partir do emprego formal
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em EconomiaEconomia Regional, 2013-12-18)
Industrial development experienced by Brazil from the 1950s, changed the
concentration of population in the country. The process of development of domestic
industry, concentrated in urban areas, crowded growing portion ...
Hilbert-style formalism for two-dimensional notions of consequence
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-21)
The present work proposes a two-dimensional Hilbert-style deductive formalism (H-formalism) for B-consequence relations, a class of two-dimensional
logics that generalize the usual (Tarskian, one-dimensional) notions of ...
Valores formales de arquitectura moderna no construida en centros históricos
(2017-11-27)
This research verifies the formal values of the project for the New Square and Tower of Offices for the City of London of Mies van der Rohe; project approved in 1969; but that after years of disputes between conservationists ...