Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Oliveira, José Nuno Fonseca"'
Data analysis is among the main strategies of our time for enterprises to take advantage of the vast amounts of data their systems generate and store everyday. Thus the standard relational database model is challenged everyday to cope with quantitati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::002eb0e4eaa8cc86699f938ebad8c30a
https://hdl.handle.net/1822/52868
https://hdl.handle.net/1822/52868
Autor:
Oliveira, José Nuno Fonseca
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant informati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::aecea80caeb63dd5930085941401d979
https://hdl.handle.net/1822/40616
https://hdl.handle.net/1822/40616
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Techn. Report TR-HASLab:01:2013
The production of safety critical software is bound to a number of safety and certification standards in which estimating the risk of failure plays a central role. Yet risk estimation seems to live outside most pr
The production of safety critical software is bound to a number of safety and certification standards in which estimating the risk of failure plays a central role. Yet risk estimation seems to live outside most pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3e7843a971b9c0f4ae7078470971737
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Non-trivial bidirectional transformations (BXs) are inherently ambiguous, as there are in general many different ways to consistently translate an update from one side to the other. Existing BX languages and frameworks typically satisfy fundamental f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70cf423380b9cabba39f535b1d668e6a
http://repositorio.inesctec.pt/handle/123456789/4141
http://repositorio.inesctec.pt/handle/123456789/4141
Autor:
Oliveira, José Nuno Fonseca
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional types and an associated type system which is useful for type checking da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::74630e166fd8a2a7baebd15c3d3c3955
Autor:
Oliveira, José Nuno Fonseca
There is a need for a language able to reconcile the recent upsurge of interest in quantitative methods in the software sciences with logic and set theory that have been used for so many years in capturing the qualitative aspects of the same body of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::5de0cd63935695b621cf57b49ac63b67
https://hdl.handle.net/1822/24671
https://hdl.handle.net/1822/24671
Autor:
Ferreira, João Fernando, Mendes, Alexandra, Cunha, Alcino, Baquero, Carlos, Silva, Paulo, Barbosa, L. S., Oliveira, José Nuno Fonseca
Available for individual study only.
Although much of mathematics is algorithmic in nature, the skills needed to formulate and solve algorithmic problems do not form an integral part of mathematics education. In particular, logic, which is centr
Although much of mathematics is algorithmic in nature, the skills needed to formulate and solve algorithmic problems do not form an integral part of mathematics education. In particular, logic, which is centr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::611486726cf81e9417dd505d9add4386
https://hdl.handle.net/1822/15270
https://hdl.handle.net/1822/15270
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
"Technical Report No. TR-IIS-10-009"
Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of
Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::280ed24c77451a278e71429565febf6a
Motivated by the need to formalize generation of fast running code for linear algebra applications, we show how an index-free, calculational approach to matrix algebra can be developed by regarding matrices as morphisms of a category with biproducts.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::b941be3f9b98b7a8e318c2266fbc82a8
https://hdl.handle.net/1822/17802
https://hdl.handle.net/1822/17802
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototype. Galculator uses an equational approach based on Galois connections with indirect equality as an additional inference rule. Galois allows for the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::8b41b614420b8c55fdf0e0952fc1e78c
https://hdl.handle.net/1822/39000
https://hdl.handle.net/1822/39000