Goal-Oriented Requirements Engineering (GORE) approaches have been developed to facilitate the requirements engineers work by, for example, providing abstraction mechanisms to help eliciting and modeling requirements. One of the well-established GORE approaches is KAOS. Nevertheless, in large-scale systems building KAOS models may result in incomplete and/or complex goal models, which are difficult to understand and change. This may lead to an increase in costs of product development and evolution. Thus, for large-scale systems, the effective management of complexity and completeness of goal
models is vital. In this paper, we propose a metrics framework for supporting the quantitative assessment of complexity and completeness of KAOS goal models. Those metrics are formally specified, implemented and incorporated in a KAOS modeling tool. We validate the metrics with a set of real-world case studies and discuss the identified recurring modeling practices.

Despite more than a century of collecting, resulting in one of the best-studied vertebrate fossil records anywhere in the world, the Upper Jurassic Morrison Formation has produced surprisingly few examples of dinosaur eggs associated with embryonic remains. Even more puzzling, none of these seem to pertain to the theropod Allosaurus, one of the most common and best-understood dinosaur taxa in the formation. Here we report on a dinosaur nest site that has produced both abundant prismatoolithid eggshell and embryonic (or perinatal) bones of Allosaurus from Fox Mesa, Wyoming. This represents the first such discovery for any theropod in the Jurassic of North America. The nest is heavily weathered but contains a few ellipsoid eggshell clusters that suggest an egg size of about 8 x 6.5 cm. Study of the eggshell morphology and microstructure confirms that a single egg type is present throughout, which is indistinguishable from Prismatoolithus coloradensis. All of the identifiable embryonic materials pertain to theropods, and two premaxillae specimens show the five alveoli diagnostic for Allosaurus among Morrison theropods. This confirms the theropod origin of Prismatoolithus eggs and implicates Allosaurus as the specific Morrison parent taxon. As a result, it is now possible to assign several previous discoveries of dinosaur eggs and potential nests to Allosaurus, including the isolated egg from the Cleveland-Lloyd Quarry. This discovery also calls into question prior assignments of Prismatoolithus eggs to ornithopods, and suggests that more detailed study of such sites is warranted. Prismatoolithus eggshells are also associated with the Upper Jurassic theropod Lourinhanosaurus from Portugal, along with larger embryos that exhibit four premaxillary alveoli.

n/a

Despite more than a century of collecting, resulting in one of the best-studied vertebrate fossil records anywhere in the world, the Upper Jurassic Morrison Formation has produced surprisingly few examples of dinosaur eggs associated with embryonic remains. Even more puzzling, none of these seem to pertain to the theropod Allosaurus, one of the most common and best-understood dinosaur taxa in the formation. Here we
report on a dinosaur nest site that has produced both abundant prismatoolithid eggshell and embryonic (or perinatal) bones of Allosaurus from Fox Mesa, Wyoming. This represents the first such discovery for any theropod in the Jurassic of North America. The nest is heavily weathered but contains a few ellipsoid eggshell clusters that suggest an egg size of about 8 x 6.5 cm. Study of the eggshell morphology and microstructure confirms that a single egg type is present throughout, which is indistinguishable from Prismatoolithus coloradensis. All of the identifiable embryonic materials pertain to theropods, and two premaxillae specimens show the five alveoli diagnostic for Allosaurus among Morrison theropods. This confirms the theropod origin of Prismatoolithus eggs and implicates Allosaurus as the specific Morrison parent taxon. As a result, it is now possible to assign several previous discoveries of dinosaur eggs and potential nests to Allosaurus, including the isolated egg from the Cleveland-Lloyd Quarry. This discovery
also calls into question prior assignments of Prismatoolithus eggs to ornithopods, and suggests that more detailed study of such sites is warranted. Prismatoolithus eggshells are also associated with the Upper Jurassic theropod Lourinhanosaurus from Portugal, along with larger embryos that exhibit four premaxillary alveoli.

Os compósitos de FRP podem descolar prematuramente da superfíce de betão, isto é, antes de esgotada a sua resistência elástica. Esta situação é mais provável se não forem tidos em conta factores como o tipo de preparação da superfície, a exposição a acção ambiental severa, e a resistência do próprio betão. Com o objectivo de analisar a influência de parte destes factores no desempenho da ligação compósito de fibra de vidro (GFRP) e betão, empreendeu-se uma campanha experimental baseada em ensaios de corte duplo. Os resultados permitiram determinar e comparar as forças máximas transmitidas ao GFRP e tensões de aderência máxima para diferentes tratamentos de superfície e condições de envelhecimento. Foram também determinadas aproximações para curvas de tensão de aderência vs. deslizamento (bond-slip). Os resultados obtidos são contrastados com resultados obtidos por modelação numérica.

Since the 1980’s, several buildings throughout the world have been subject to gas explosions, impact by cars or airplanes, or car bomb attacks. In many cases the effect of the impact or explosion has been the failure of a critical structural member at the perimeter of the building. After the failure, the load supported by that member could not be redistributed and part or all of the structure has collapsed in a progressive manner. The phenomenon that occurs when local failure is not confined to the area of initial distress, and spreads horizontally and/or vertically through the structure, is termed progressive collapse.

Progressive collapse is a relatively rare event, as it requires both an accidental action to cause local damage and a structure that lacks adequate continuity, ductility, and redundancy to prevent the spread of damage. It is technically very difficult and economically prohibitive to design buildings for absolute safety. However it is possible to construct precast concrete buildings that afford an acceptable degree of safety with regard to accidental actions.

A structure is normally designed to respond properly, without damage, under normal load conditions, but local and/or global damages cannot be avoided under the effect of an unexpected, but moderate degree of accidental overload. Properly designed and constructed structures usually possess reasonable probability not to collapse catastrophically under such loads, depending on different factors, for example: the type of loading; the degree and the location of accidental loading in regard to the structure and its structural members; the type of structural system, the construction technology, and the spans between structural vertical members, etc.

No structure can be expected to be totally resistant to actions arising from an unexpected and extreme cause, but it should not be damaged to an extent that is disproportionate to the original cause.

The aim of fib Bulletin 63 is to summarize the present knowledge on the subject and to provide guidance for the design of precast structures against progressive collapse. This is addressed in terms of (a) the classification of the actions, (b) their effect on the structural types, (c) the strategies to cope with such actions, (d) the design methods and (e) some typical detailing, all supplemented with illustrations from around the world, and some model calculations.

In this paper we investigate how the combinatorial property finite derivation type (FDT) is preserved in a semilattice of semigroups. We prove that if S=S[Y,S_α] is a semilattice of semigroups such that Y is finite and each S_α (α∈Y) has FDT, then S has FDT. As a consequence we can show that a strong semilattice of semigroups S[Y,S_α,λ_{α,β}] has FDT if and only if Y is finite and every semigroup S α (α∈Y) has FDT.

n/a

n/a

A friendship graph is a graph consisting of cliques sharing a common vertex. In this paper we investigate the maximum number of elements in an optimal friendship decomposition of graphs of order n. We obtain upper and lower bounds for this number. These bounds relate this problem with the classical Ramsey numbers.

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.