A contratação "in house" nas relações contratuais entres os municípios e as empresas municipais e intermunicipais

A possibilidade de escolha de empresas municipais e intermunicipais como entidades cocontratantes é uma "tentação" para os municípios que têm a seu cargo um conjunto de tarefas através das quais visam satisfazer o interesse público local. Terão estas empresas características especiais que as tornam entidades preferenciais para a derrogação das regras da contratação pública? Existe um mercado concorrencial quando estamos perante serviços públicos locais? Justifica-se a aplicação das regras gerais da contratação pública às adjudicações de serviços públicos locais? O mercado em que se desenvolvem as empresas municipais apresenta uma relevância tal que permita haver concorrência? Estas questões têm vindo a ser especialmente tratadas no quadro da jurisprudência comunitária, dentro da qual, é de fazer sobressair o Acórdão Stad Halle, que veio limitar a possibilidade de recurso à exceção "in house providing", ampliando em consequência o âmbito de aplicação das regras gerais da contratação pública, nomeadamente os princípios comunitários da transparência e igualdade de tratamento dos concorrentes. A empresa municipal está mais próxima das necessidades dos cidadãos e, em princípio, estará mais apta para desenvolver um projeto à medida do serviço pretendido. Poderemos questionar se a proximidade da empresa municipal às necessidades reais de certos cidadãos tem uma expressão tal que coloque a empresa numa posição especial relativamente às outras, para permitir a adjudicação direta.

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.