A indústria do betão pré fabricado é, por tradição, inovadora, precursora de novas tecnologias e de novos materiais.O processo produtivo de estruturas com elementos pré-fabricados difere significativamente do das estruturas betonadas em obra pelo facto de uma parte, ou a totalidade, dos elementos da estrutura serem produzidos em fábrica, em condições de produção melhoradas em relação às condições da obra, e serem posteriormente transportados para a obra, onde são, finalmente ligados entre si. A produção em fábrica é efectuada em ambiente protegido do Sol e da chuva, com operários fixos e com formação profissional para desenvolverem tarefas com procedimentos normalizados. Consequentemente, os elementos executados em fábrica possuem melhor qualidade, sob vários aspectos, do que as estruturas executadas em obra.Este livro divide-se em duas grandes áreas, numa primeira abordam-se algumas aplicações de estruturas pré-moldadas no mundo e numa segunda parte descreve-se o seu comportamento estrutural face a diferentes acções. Nos primeiros capítulos relata-se a experiência da pré-fabricação em três países de diferentes continentes: o Brasil, Portugal e a Austrália e revelam-se novas oportunidades que poderão surgir para a indústria da pré-fabricação. Nos capítulos seguintes dá-se um especial enfoque à investigação do comportamento das ligações (rígidas e semi-rígidas). Aborda-se o projecto de estruturas de betão pré-fabricado às acções acidentais. E por fim, dedicam-se os últimos capítulos ao comportamento das estruturas pré-fabricadas face às acções sísmicas. Nesta área, o bom desempenho das estruturas e grande parte do conhecimento e da tecnologia actual advém da resposta dada pelos engenheiros, investigadores e construtores aos fenómenos naturais que afectam as nossas construções, como comprova o desempenho das ligações dúcteis resistentes a momentos em edifícios pré fabricados de betão no verdadeiro teste sísmico que foram os sismos de Christchurch de 2010 e 2011.

n/a

n this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet model and automatically have the data co-evolved. The bidirectional component achieves precisely the inverse, that is, to evolve the data and automatically obtain a new model to which the data conforms.

Spreadsheets play an important role in software organizations. Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect information from different systems, to adapt data coming from one system to the format required by another, to perform operations to enrich or simplify data, etc. In fact, over time many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users. Unfortunately, spreadsheet systems provide poor support for modularity, abstraction, and transformation, thus, making the maintenance, update and evolution of spreadsheets a very complex and error-prone task. We present techniques for model-driven spreadsheet engineering where we employ bidirectional transformations to maintain spreadsheet models and instances synchronized. In our setting, the business logic of spreadsheets is defined by ClassSheet models to which the spreadsheet data conforms, and spreadsheet users may evolve both the model and the data instances. Our techniques are implemented as part of the MDSheet framework: an extension for a traditional spreadsheet system.

n/a

Cellulosomes are highly efficient nanomachines that play a fundamental role during the anaerobic deconstruction of complex plant cell wall carbohydrates. The assembly of these complex nanomachines results from the very tight binding of repetitive cohesin modules, located in a noncatalytic molecular scaffold, and dockerin domains located at the C-terminus of the enzyme components of the cellulosome. The number of enzymes found in a cellulosome varies but may reach more than 100 catalytic subunits if cellulosomes are further organized in polycellulosomes, through a second type of cohesin-dockerin interaction. Structural studies have revealed how the cohesin-dockerin interaction mediates cellulosome assembly and cell-surface attachment, while retaining the flexibility required to potentiate catalytic synergy within the complex. Methods that might be applied for the production, purification, and structure determination of cohesin-dockerin complexes are described here. Copyright 2012 Elsevier Inc. All rights reserved.

n this paper we explore the use of models in the context of spreadsheet engineering. We review a successful spreadsheet modeling language, whose semantics we further extend. With this extension we bring spreadsheet models closer to the business models of spreadsheets themselves. An addon for a widely used spreadsheet system, providing bidirectional model-driven spreadsheet development, was also improved to include the proposed model extension.

Spreadsheets are among the most popular programming languages in the world. Unfortunately, spreadsheet systems were not tailored from scratch with modern programming language features that guarantee, as much as possible, program correctness. As a consequence, spreadsheets are populated with unacceptable amounts of errors. In other programming language settings, model-based approaches have been proposed to increase productivity and program effectiveness. Within spreadsheets, this approach has also been followed, namely by ClassSheets. In this paper, we propose an extension to ClassSheets to allow the specification of spreadsheets that can be viewed as relational databases. Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints. This brings to the spreadsheet realm the entire paraphernalia of model validation techniques that are available for UML.