Encontrados 4 documentos, a visualizar página 1 de 1

Ordenado por Data

Alloy meets the algebra of programming : a case study

Oliveira, José Nuno Fonseca; Ferreira, Miguel A.

Relational algebra offers to software engineering the same degree of conciseness and calculational power as linear algebra in other engineering disciplines. Binary relations play the role of matrices with similar emphasis on multiplication and transposition. This matches with Alloy’s lemma “everything is a relation” and with the relational basis of the Algebra of Programming (AoP). Altogether, it provides a sim...


Insider Trading Laws and Stock Price Informativeness

Fernandes, Nuno; Ferreira, Miguel A.

WOS:000265098400003 (Nº de Acesso Web of Science) ; We investigate the relation between a country’s first-time enforcement of insider trading laws and stock price informativeness using data from 48 countries over 1980–2003. Enforcement of insider trading laws improves price informativeness, as measured by firm-specific stock return variation, but this increase is concentrated in developed markets. In emerging ...

Data: 2009   |   Origem: Repositório do ISCTE-IUL

An integrated formal methods tool-chain and its application to verifying a file...

Ferreira, Miguel A.; Oliveira, José Nuno Fonseca

Tool interoperability as a mean to achieve integration is among the main goals of the international Grand Challenge initiative. In the context of the Verifiable file system mini-challenge put forward by Rajeev Joshi and Gerard Holzmann, this paper focuses on the integration of different formal methods and tools in modelling and verifying an abstract file system inspired by the Intel (R) Flash File System Core. ...


Does sovereign debt ratings news spill over to international stock markets?

Ferreira, Miguel A.; Gama, Paulo M.

The evidence here indicates that sovereign debt rating and credit outlook changes of one country have an asymmetric and economically significant effect on the stock market returns of other countries over 1989-2003. There is a negative reaction of 51 basis points (two-day return spread vis-á-vis the US) to a credit ratings downgrade of one notch in a common information spillover around the world. Upgrades, howe...


4 Resultados

Texto Pesquisado

Refinar resultados

Autor





Data




Tipo de Documento


Recurso




Assunto













    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia