Programming Laws
Mostrando 1-12 de 14 artigos, teses e dissertações.
-
1. Editorial
Usually one can find three subjects in the first year of the syllabus of any technical engineering career, namely, calculus, general physics and programming. Being physics a matter lying on the grounds of technical engineering it becomes naturally appropriate to introduce the use of calculus and programming as useful tools in the context of a physics problem
Revista Brasileira de Ensino de Física. Publicado em: 2011-09
-
2. Um roteiro para a criação de programa computacional dedicado à geração de pré-projeto arquitetônico de habitações sociais: realimentação de modelo a partir de avaliações pós-ocupação / A roadmap for the creation of dedicated software the generation of pre-architectural project of social housing: feedback model from Post-Occupancy Evaluations
The possibility of living in environments that have been sized on the basis of anthropometric studies and post-occupancy evaluations (POEs) of the functionality of buildings is the consequence of architectural design processes yet to be consolidated. This technology has enabled greater control over all stages in the construction of buildings, the pre-design
Publicado em: 2009
-
3. A Model-driven Approach to Formal Refactoring
Refactoring object-oriented software, as any other evolutionary tasks usually affects source code and object models, burdening developers to keep those artifacts correct and up to date Due to the gap between modeling and programming artifacts, refactoring efforts soon become duplicate and considerably expensive. In this context, currently used tool support,
Publicado em: 2008
-
4. AnÃlise de escoamentos compressÃveis nÃo-viscosos em trÃs dimensÃes utilizando o mÃtodo dos elementos finitos por aresta
This work has as its main goal the development of a computational tool for numerical simulation of compressible fluid flow problems for three dimensions, using as starting point the computational tool developed by LYRA (1994) that dealt with fluid flow problems in two dimensional domain. For the development of this tool, a space discretization was adopted us
Publicado em: 2008
-
5. Real-time process optimization based on grey-box neural models
This paper investigates the feasibility of using grey-box neural models (GNM) in Real Time Optimization (RTO). These models are based on a suitable combination of fundamental conservation laws and neural networks, being used in at least two different ways: to complement available phenomenological knowledge with empirical information, or to reduce dimensional
Brazilian Journal of Chemical Engineering. Publicado em: 2007-09
-
6. Uma estratégia de refatoração para AspectJ utilizando leis de programação e XML
This work presents a refactoring approach to aspect oriented code that allows to build refactorings coding only with a declarative language. This approach uses AspectJML, an XML-based representation of AspectJ, to store the syntactic structures of AspectJ code; XSLT, an XML declarative transformation language, to implement the transformations defined by the
Publicado em: 2007
-
7. Vigilância sanitária em serviços de saúde: controle sanitário da farmácia hospitalar.
Hospital pharmacy health surveillance is a set of actions aimed at health and safety protection and that takes as the main purpose the use of health risk control measures. A descriptive study on the hospital pharmacy health surveillance was carried out in the State of São Paulo Health surveillance System municipal area of São Paulo with the intention of de
Publicado em: 2007
-
8. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
This work presents a technique of formal verication of Procedural Reasoning System - PRS, a programming language that uses the procedural reasoning approach. This technique is based on the use of conversion rules between PRS programs and Coloured Petri Nets (CPNs). To this end, conversion rules of a subgroup of the majority of the syntax used in language PRS
Publicado em: 2005
-
9. Deriving refactorings for aspect J
Refactoring tem sido muito Ãtil na reestruturaÃÃo de programas orientados a objetos. Esta tÃcnica pode proporcionar benefÃcios similares aos programas orientados a aspectos. AlÃm disso, refactoring pode ser uma tÃcnica interessante para introduzir aspectos em uma aplicaÃÃo existente, orientada a objetos. No intuito de explorar os benefÃcios proporc
Publicado em: 2005
-
10. Basic laws of object modeling
Laws of programming are important not only to define the axiomatic semantics of programming languages but also to assist in the software development process. In fact, these laws can be used as the foundation for informal development practices, such as refactorings, widely adopted due to modern methodologies, in special Extreme Programming. Although they have
Publicado em: 2004
-
11. Implementation of statistical data assimilation system in physical space to the global model of CPTEC / Implementação do sistema estatístico de assimilação de dados em espaço físico para o modelo global do CPTEC
Atmospheric data (such as temperature, moisture, winds), collected by satellites, direct measurements from upper-air instruments and ground observation stations are used in order to estimate the state of the atmosphere as precise as possible. The estimation process, denominated data assimilation consists of observations, and the physical laws, which govern t
Publicado em: 2004
-
12. O metodo de Galerkin descontinuo com difusividade implicita e h-adaptabilidade baseada em tecnicas Wavelet
In this work an inovative technique is presented for the numerical approximation of conservation laws on unstructured meshes. The numerical scheme uses a discontinuous piecewise polynomial approximation with hadaptivity. The self-adaptive h-refinement strategy uses a regularity assessment of the solution based on wavelet techniques. This strategy determines
Publicado em: 2002