Software refactoring is a well-known technique that provides transformations on software artifacts with the aim of improving their overall quality. In this paper we present a set of refactorings for ClassSheets, a modeling language that allows to specify the business logic of a spreadsheet in an object-oriented fashion. The set of refactorings that we propose allows us to improve the quality of these spreadsheet models. Moreover, it is implemented in a setting that guarantees that all model refactorings are automatically carried to all the corresponding (spreadsheet) instances, thus providing an automatic evolution of the data so it is always synchronized with the model.

Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.

This technical report describes the research goals and results of the SpreadSheet as a Programming Paradigm research project. This was a project funded by Funda{\c c}ão para a Ciencia e Tecnologia – FCT: the Portuguese research foundation, under reference FCOMP-01-0124-FEDER-010048, that ran from May 2010 till July 2013. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on October 2013. It describes the goals of the project, and the different research tasks presenting the deliver- ables of each of them. It also presents the management and result dissemination work performed during the project's execution. The document includes also a self assess- ment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.

Let k be a positive integer and G be a k-connected graph. In 2009, Chartrand, Johns, McKeon, and Zhang introduced the rainbow k-connection number rc_k(G) of G. An edge-coloured path is rainbow if its edges have distinct colours. Then, rc_k(G) is the minimum number of colours required to colour the edges of G so that any two vertices of G are connected by k internally vertex-disjoint rainbow paths. The function rc_k(G) has since been studied by numerous researchers. An analogue of the function rc_k(G) involving vertex colourings, the rainbow vertex k-connection number rvc_k(G), was subsequently introduced. In this paper, we introduce a version which involves total colourings. A total-coloured path is total-rainbow if its edges and internal vertices have distinct colours. The total rainbow k-connection number of G, denoted by trc_k(G), is the minimum number of colours required to colour the edges and vertices of $G$, so that any two vertices of $G$ are connected by $k$ internally vertex-disjoint total-rainbow paths. We study the function trc_k(G) when G is a cycle, a wheel, and a complete multipartite graph. We also compare the functions rc_k(G), rvc_k(G), and trc_k(G), by considering how close and how far apart trc_k(G) can be from rc_k(G) and rvc_k(G).

Two new Late Jurassic (uppermost Late Kimmeridgian) dinosaur eggshell sites are described, Casal da Rola and Porto das Barcas, both near Lourinha˜, central-west Portugal. Casal da Rola yields eggshells with an obliquiprismatic morphotype comparable to those from a nest with the associated fossil embryos from Paimogo, tentatively assigned to the theropod Lourinhanosaurus antunesi. The Porto das Barcas eggshells have a dendrospherulitic morphotype with a prolatocanaliculate pore system. This morphotype was also recognised in eggshells from a clutch with associated Torvosaurus embryos at the Porto das Barcas locality. A preliminary cladistic analysis of eggshell morphology suggests theropod affinities for the Casal da Rola eggs, but is unable to resolve the phylogenetic position of the Porto das Barcas eggs. The eggshells at both sites are preserved in distal flood plain mudstones and siltstones. Carbonate concretions within the deposits indicate paleosol development.

Here we describe a new partial sauropod skeleton from the late Kimmeridgian (Late Jurassic) of the Lourinhã Formation, central west Portugal. The closely associated specimen comprises a complete tooth (with root), a fragment of cervical neural arch, an anterior chevron, and an almost complete right pectoral girdle and forelimb. The new sauropod, Zby atlanticus, n. gen. et sp., can be diagnosed on the basis of four autapomorphies, including a prominent posteriorly projecting ridge on the humerus at the level of the deltopectoral crest. Nearly all anatomical features indicate that Zby is a non-neosauropod eusauropod. On the basis of several characters, including tooth morphology, extreme anteroposterior compression of the proximal end of the radius, and strong beveling of the lateral half of the distal end of the radius, Zby appears to be closely related to Turiasaurus riodevensis from approximately contemporaneous deposits in eastern Spain. However, these two genera can be distinguished from each other by a number of features pertaining to the forelimb. Whereas previously described Late Jurassic Portuguese sauropods show close relationships with taxa from the contemporaneous Morrison Formation of North America, it appears that turiasaurians were restricted to Europe. All adult sauropods recovered in the Late Jurassic of Portugal thus far are very large individuals: it is possible that the apparent absence of small- or medium-sized adult sauropods might be related to the occupation of lower-browsing niches by non-sauropods such as the long-necked stegosaur Miragaia longicollum.