Formality
Mostrando 13-24 de 43 artigos, teses e dissertações.
-
13. A INFORMALIDADE DAS RELAÇÕES DE EMPREGO E A ATUAÇÃO DA INSPEÇÃO DO TRABALHO: UMA ANÁLISE PARA O MARANHÃO CONTEMPORÂNEO / THE INFORMALITY EMPLOYMENT RELATIONS AND THE PERFORMANCE INSPECTION OF WORK: A ANALYSIS FOR CONTEMPORARY MARANHAO
This dissertation presents a study on labor inspection carried out by the Ministry of Labor and Employment to reduce the level of informal employment in Brazil, focusing on the case of state of Maranhão in the present time. Specialized literature on formation and structuration of Brazilians labor market between the thirties and the nineties is reviewed, foc
Publicado em: 2010
-
14. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
15. Influence of cost of production in the cash flow of construction of buildings / Influência do custo da produção no fluxo de caixa de obras de edificações
In the context of construction companies, in general, planning is understood as the task of generating a plan and not as a management process. In most cases, the control is focused on management contracts, than in production. Also, note that these companies do not specify the manner in which they can develop and implement systems for planning and production
Publicado em: 2009
-
16. Paisagismo contemporâneo :estratégias para o projeto de praças. / Contemporary landscape : design strategies for squares.
The landscape today is the greatest area of conceptual and formal trials involving the field of architecture. In the last decades of the twentieth and early twenty-first century, attended to the more radical proposals for landscape design in creating outdoor environments at all scales. These changes aim to create a new nature, closer to humans, more suitable
Publicado em: 2009
-
17. Turismo sustentável e alivio a pobreza: avaliação de impacto
This study evaluates the social impacts of the project PRODETUR in Porto Seguro and Bahia. Among the analyzed channels, we have focused on the impact on variables related to sewering (access to piped water, sewer and garbage collection), besides some socio-economic ones (occupation, contribution to social security, income and poverty). In addition, we analyz
Publicado em: 29/12/2008
-
18. Restaurantes: estudo sobre o aproveitamento da matéria-prima e impactos das sobras no meio ambiente
Commercial restaurants produce, when they prepare and serve meals, several residues, which are managed by different ways. It was search to investigate the planning grade adapted to the implantation, the behavior of the utilization on the raw material, the utilization of the leftovers and finally, the residues generated in restaurants from Campos do Jordão,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/05/2008
-
19. Algoritmos para Interoperabilidade entre Ontologias / ALGORITHMS FOR ONTOLOGIES INTEROPERABILIT
Nowadays the interest for the theme ontologies has steadily increased, as it aims at to capture consensual knowledge between people and applications, allowing reusing and sharing information. With this purpose, mechanisms are demanded to guarantee semantic interoperability, that is, the identification and compatibility of information. The present study propo
Publicado em: 2008
-
20. Investigation of a sequence of methodologies for engineering of information systems: - study case incubanet-PEâs network / InvestigaÃÃo de uma seqÃÃncia de metodologias para engenharia de sistemas de informaÃÃo: estudo de caso da rede incubanet-PE
The advent of new forms of capitalism has driven, in the last decades of the twentieth century, the formation of Enterprise Networks. Multidisciplinary studies have been held in to order to understand and improve the networkâs management tools. This paper investigates organizations and types of networks, highlighting the dimensions of power and formality of
Publicado em: 2008
-
21. A concessão ec offício da tutela antecipada no contexto da efetividade processual
This scientific paper examined the possibility of the magistrate to grant, in a discretionary way, the anticipatory technique disciplined in Article 273 of the Brazilian Civil Procedural Code, because of the effectiveness of the procedural context. To accomplish that, the jurisdictional guardianship was analyzed under the fundamental rights perspective, focu
Publicado em: 2008
-
22. 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
-
23. The ex officio grant of injunctive relief in the context of procedural effectiveness / A concessão ex offício da tutela antecipada no contexto da efetividade processual
This scientific paper examined the possibility of the magistrate to grant, in a discretionary way, the anticipatory technique disciplined in Article 273 of the Brazilian Civil Procedural Code, because of the effectiveness of the procedural context. To accomplish that, the jurisdictional guardianship was analyzed under the fundamental rights perspective, focu
Publicado em: 2008
-
24. As vogais médias em posição pretônica nos nomes no dialeto de Belo Horizonte: estudo da variação à luz da Teoria da Otimalidade
The objective of this research is to analyze the variation of mid-height vowels in pre-stressed-syllable position in nouns spoken in the dialect of Belo Horizonte, taking into consideration linguistic factors and phonological processes, such as vowel harmony and vowel reduction, which interfere with this production. Variation is also studied using Optimality
Publicado em: 2008