An interactive state monad example

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

Mediação: Confiança versus Responsabilidade

A mediação aparece inserida num movimento de reformas do sistema judiciário europeu como forma de responder imediatamente á descrença dos cidadãos nas estruturas do poder judicial e na eficiência da justiça. A mediação, per si, coloca a questão do elenco da confiança e da responsabilidade entre duas pessoas, como conceito define-se justamente na relação dialógica confiança/responsabilidade que produz efeitos na esfera jurídica dos interessados, as partes que decidem resolver o litígio recorrendo á intervenção de um terceiro, o mediador. É um meio extrajudicial de resolução de litígios, com carácter privado, informal, confidencial, voluntário e de natureza não conscienciosa, na qual as partes com a sua participação activa e directa, são auxiliadas por um mediador a encontrar por si próprias, uma solução negociada e amigável para o conflito. A sua natureza não conscienciosa impõe o respeito pelos princípios da cooperação e da boa fé, com vista a alcançar, de forma concertada, resultado consensual, que satisfaça ambas as partes. Neste âmbito a confiança e a responsabilidade são os dois pólos de um meridiano denominado de mediação: por meio de- através de-chegar a um acordo. Se por um lado a confiança é um elemento constitutivo da relação fática e simples de consenso porque não se trata nenhum negocio jurídico, contrato em especial, nem mero ato jurídico- por outro lado, o mediador pode ser responsável pela falta de acordo. Mas o apuramento desta responsabilidade pode não ser visível através dos óculos de culpa grosseira vertida no artigo 16º da Portaria 1112/2005 de 28 de Outubro. Efectivamente, as partes que recorrem a este meio alternativo de resolução de litígios têm direito a esperar que o mediador cumpra a lei, mas tal pode não acontecer. Assim, o exercício da mediação é ou pode ser uma fonte de responsabilidade quando o mediador viola os seus deveres, ainda que não de forma dolorosa, intencional. Ora se o Estado quer que os cidadãos acreditem nos meios extra judiciais, confiem na mediação dos Julgados de Paz, então deve promover no sentido de dizer claramente que esta atento ao desempenho do mediador, e que se advier um dano para o cidadão, o Estado deverá assumir a responsabilidade.

Fatores determinantes da opinião do auditor: estudo empírico das empresas portuguesas

As constantes mudanças que ocorrem no tecido empresarial instigam a instabilidade e desconfiança dos utilizadores da informação financeira. Neste contexto, os stakeholders procuram informação financeira fiável e clara para tomarem decisões ponderadas e com o menor risco possível. No sentido de satisfazer estas necessidades, os organismos profissionais de contabilidade têm manifestado grande preocupação em garantir a qualidade da informação financeira. A solução para o cumprimento dos objetivos anteriores deve passar pela realização de uma auditoria uma vez que esta função desempenha um importante papel no seio das empresas, quer no processo de prestação de contas, quer na redução das assimetrias de informação. No entanto, o processo de auditoria apresenta limitações que nem sempre são consideradas pelos utilizadores da informação financeira. Há, de facto, uma série de determinantes que pretendemos estudar neste trabalho que são suscetíveis de influenciar a opinião que o auditor irá emitir na certificação legal de contas (CLC). Para o efeito, debruçamo-nos sobre os relatórios e contas, referentes ao ano de 2011, de 50 empresas registadas na Comissão do Mercado de Valores Mobiliários (CMVM) para analisar a a influência dos seguintes fatores: tipo de Sociedade de Revisores Oficiais de Contas (SROC) a que o auditor pertence, o sexo e a experiência profissional do auditor, os honorários recebidos pelo auditor pelos serviços de Revisão Legal de Contas (RLC) e extra RLC. Os resultados revelaram que a opinião do auditor não é influenciada, significativamente, por nenhum dos fatores estudados, o que pode indiciar grande independência do auditor.