950 resultados para Formal Policy Language
Resumo:
Abstract The European Union (EU) is one of the world´s leading donors in official development assistance (ODA) to give a strong weight in the relationship with recipient partner countries, in particular with those that are more dependent on it. Besides the material weight of its funding, the EU has retained historical ties and influence in diplomatic, political and economic terms in many of its ODA recipient partner countries (particular in Sub-Saharan Africa). Since the 2000s, the EU development policy has not only undergone major structural changes in its institutional framework but also has started to face a new international aid scenario. This paper explores why a normative-based EU development policy is being challenged by reformed EU institutions and a new global order, and how the EU is attempting to respond to this context in face of the deepest recession since the end of the Second World War.
Resumo:
Abstract This paper analyses public opinion during the João Goulart government in Brazil (1961-1964), focusing on public perceptions on domestic and foreign policies. We employ a recently declassified public opinion survey conducted on behalf of United States Information Agency (USIA) in urban areas. We found that the Brazilian public opinion was somewhat coherent, supporting redistributive reforms domestically and a neutralist approach in foreign affairs.
Resumo:
Abstract This study will exam the relative importance of values and interests in Obama's foreign policy, focusing on crucial cases: the military actions related to Afghanistan, Iraq, Libya, Non-Syria, Al-Qaeda and ISIL. We will argue that his "leading from behind" strategy is not very distant from the foreign and defense strategies of his post-Cold War predecessors, by which democracy is seen as an assurance to security. According to Obama's strategy, Americans will only provide support for the building of democracy in the target countries, while this task should be performed by the locals themselves. Americans will provide military training to the new governments as well so they can be responsible for their own security, including preventing regrouping of terrorists in their soil. If Obama opposes the imposing of democracy by the use of force, empirical data shows that his administration is "not prepared to accept" any option that threats US security or American liberal-democratic values, bringing in this way values and interests very close to each other.
Resumo:
Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.
Resumo:
Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.
Resumo:
The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language
Resumo:
A common problem among information systems is the storage and maintenance of permanent information identified by a key. Such systems are typically known as data base engines or simply as data bases. Today the systems information market is full of solutions that provide mass storage capacities implemented in different operating system and with great amounts of extra functionalities. In this paper we will focus on the formal high level specification of data base systems in the Haskell language. We begin by introducing a high level view of a data base system with a specification of the most common operations in a functional point of view. We then augment this specification by lifting to the state monad which is then modified once again to permit input/output operations between the computations
Resumo:
Abstract: If we think there is a significant number of legal offshore in the globalized world, then there is not even a global consensus about what «corruption» is. The «illegal corruption» in a country may be legal in another. Moreover, the great global corruption is above the law or above democratic States. And not all democratic States are «Rule of Law». Therefore, the solution is global earlier in time and space law, democratic, free and true law. While the human being does not reach a consensus of what «corruption» really is, the discussion will not go further than a caricature. One of the other problems about «corruption» is that it is very difficult to establish the imputation of crimes, including «corruption» (v.g. Portugal) on some «companies», corporations. We have a juridical problem in the composition of the art. 11. of the Portuguese Penal Code.
Resumo:
Transfer pricing is a pervasive issue that presents significant tax savings potential concerning international enterprises. The authors discuss company incentives to manage transfer prices in an article appearing in the preceding issue of this journal. In response to these incentives, governments have increasingly enacted and enforced domestic restrictions on transfer prices. In this article, contemporary norms restricting transfer pricing are analyzed. The OEGO and US pricing standards are assessed and Brazil's recent application of these standards is considered. Transfer pricing methods are described and evidence of their use is presented. We conclude by describing an intercompany transfer pricing policy intended to facilitate internaI financiaI management and minimize externaI tax threats.
Resumo:
In spite of the wealth generation potential of the world's large metropolitan cities, poor living conditions for much of the world's urban population persist. Although the city has been widely studied, urban policy often remains ineffective. The paper adopts a policy process approach to analyze the relationship between knowledge and governmental action. Impediments to improving urban policy are found in the inadequate capacity of government to act and in the politics of democratic decision-making. The paper recommends that a pragmatic view of knowledge generation be adopted.
Resumo:
O XBRL - eXtensible Business Report Language - é uma linguagem que está sendo implementada em vários países para divulgação das informações contábil-financeiras pela internet. Este artigo mostra o estado-da-arte do XBRL e como se deu sua evolução, bem como avalia o estágio atual do Brasil na divulgação de informações contábil-financeiras pela internet. Foi realizada uma pesquisa do tipo survey com empresas de capital aberto no Brasil. A pesquisa revelou uma forte aceitação do meio eletrônico para divulgação de informações financeiras e também que ainda é muito pequeno o conhecimento da linguagem XBRL no país e, conseqüentemente, menor ainda o número de entidades que já iniciaram formalmente os estudos para sua implementação. Mostrou ainda a inexistência de um padrão de divulgação de informações eletrônicas, tendo predominado os formatos PDF, HTML e DOC, o que dificulta a análise e comparação de informações entre órgãos reguladores e com o público em geral.
Resumo:
Começam a surgir indícios de que se procura uma substituição da capacidade criativa humana pela programação de processos passíveis de uma automatização informática. Utilizamos o exemplo da obra de Christopher Alexander e advogamos que a concepção arquitectónica proposta por aquele arquitecto é, desde o início, a construção de uma linguagem de estrutura formal funcionalista, por isso programável e algorítmica, cuja discriminação varia da, função focada sobre a concepção do objecto (produção-exigências) para a função focada sobre o sujeito (fruiçãonecessidades). A estrutura de processamento daquele sistema tem origem, no conceito de “resolução de problema” ( problem solving ) e tem como objectivo, a efectiva programação daquilo que hoje é o trabalho criativo humano. Comprova-o o facto de o sistema da “pattern language” ter uma utilização cada vez maior nas investigações informáticas, desde a própria estrutura de programas evolutivos, até aos “object oriented design” ligados à investigação da Inteligência Artificial, passando pelo conceito de “Patterns”, como uma disciplina de engenharia informática para a resolução de problemas 1 . Verificámos na nossa investigação que, paradoxalmente, o mesmo sistema que procura uma libertação democrática da arquitectura – segundo o princípio, “arquitectura de todos para todos” – parece ser, no actual contexto histórico ocidental, um dos sistemas capazes de limitar a Arquitectura, através de um processamento algorítmico de concepção que visa a manipulação de modelos formais preestabelecidos – não obrigatoriamente estáticos – numa “performance” funcional.