Les enjeux du territoire et du patrimoine de l'industrie au XXe siecle : Les systèmes de productions locaux (SPLs) au Brésil et le cas d'Ibitinga

O século XX é caraterizado por uma dinâmica bastante particular dos setores produtivos e notamente do setor secundário. Num mesmo século assiste-se a construção, desconstrução, reestruturação, deslocalização e revitalização dos territórios industriais. Entre os tecidos industriais ainda produtivos, uma tipologia específica ocupa lugar estratégico no cenário mundial de competição entre os territórios: os SPLs (Sistemas Produtivos Locais). Um tipo de organização industrial baseado na especialização produtiva de várias pequenas e médias empresas ao redor de um produto, ofício ou "savoir faire" tradicional; de forte ancoragem territorial e engajamento da população e instituições locais. Assim, revela-se uma identidade territorial, uma vantagem competitiva, que pode ser incrementada se explorarmos também a dimensão patrimonial e não apenas a económica. Analisando-se o caso de um SPL no Brasil tenta-se encontrar tal identidade e dimensão patrimonial e propôr possibilidades de salvaguarda e valorização deste património - material e imaterial - local.

CrossMDA-SPL: uma abordagem para gerência de variabilidades dirigida por modelos e aspectos

This paper proposes a systematic approach to management of variability modelsdriven and aspects using the mechanisms of approaches Aspect-Oriented Software Development (AOSD) and Model-Driven Development (MDD). The main goal of the approach, named CrossMDA-SPL, is to improve the management(gerência), modularization and isolation ou separation of the variability of the LPSs of architecture in a high level of abstraction (model) at the design and implementing phases of development Software Product Lines (SPLs), exploiting the synergy between AOSD and MDD. The CrossMDA-SPL approach defines some artifacts basis for advance the separation clear in between the mandatory (bounden) and optional features in the architecture of SPL. The artifacts are represented by two models named: (i) core model (base domain) - responsible for specify the common features the all members of the SPL, and (ii) variability model - responsible for represent the variables features of SPL. In addition, the CrossMDA-SPL approach is composed of: (i) guidelines for modeling and representation of variability, (ii) CrossMDA-SPL services and process, and (iii) models of the architecture of SPL or product instance of SPL. The guidelines use the advantages of AOSD and MDD to promote a better modularization of the variable features of the architecture of SPL during the creation of core and variability models of the approach. The services and sub-processes are responsible for combination automatically, through of process of transformation between the core and variability models, and the generation of new models that represent the implementation of the architecture of SPL or a instance model of SPL. Mechanisms for effective modularization of variability for architectures of SPL at model level. The concepts are described and measured with the execution of a case study of an SPL for management systems of transport electronic tickets

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Sound pressure level in a municipal preschool

Aim: To evaluate the sound pressure level to which preschool students are exposed. Method: This was a prospective, quantitative, nonexperimental, and descriptive study. To achieve the aim of the study we used an audio dosimeter. The sound pressure level (SPL) measurements were obtained for 2 age based classrooms. Preschool I and II. The measurements were obtained over 4 days in 8-hour sessions, totaling 1920 minutes. Results: Compared with established standards, the SPL measured ranged from 40.6 dB (A) to 105.8 dB (A). The frequency spectrum of the SPL was concentrated in the frequency range between 500 Hz and 4000 Hz. The older children produced higher SPLs than the younger ones, and the levels varied according to the activity performed. Painting and writing were the quietest activities, while free activities period and games were the noisiest. Conclusion: The SPLs measured at the preschool were higher and exceeded the maximum permitted level according to the reference standards. Therefore, the implementation of actions that aim to minimize the negative impact of noise in this environment is essential.

Papel funcional de microRNAs na arquitetura vegetativa e radicular de plantas

Pós-graduação em Ciências Biológicas (Genética) - IBB

Estudo da interação entre a via genética do microRNA156/squamosa promoter-binding protein-like e brassinosteróides durante o desenvolvimento de Arabidopsis thaliana

Pós-graduação em Ciências Biológicas (Genética) - IBB

Designing Software Product Lines for Testability

Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features described in the feature model. Testing of software product lines has become a bottleneck in the SPL development lifecycle, since many of the techniques used in their testing have been borrowed from traditional software testing and do not directly take advantage of the similarities between products. This limits the overall gains that can be achieved in SPL engineering. Recent work proposed by both industry and the research community for improving SPL testing has begun to consider this problem, but there is still a need for better testing techniques that are tailored to SPL development. In this thesis, I make two primary contributions to software product line testing. First I propose a new definition for testability of SPLs that is based on the ability to re-use test cases between products without a loss of fault detection effectiveness. I build on this idea to identify elements of the feature model that contribute positively and/or negatively towards SPL testability. Second, I provide a graph based testing approach called the FIG Basis Path method that selects products and features for testing based on a feature dependency graph. This method should increase our ability to re-use results of test cases across successive products in the family and reduce testing effort. I report the results of a case study involving several non-trivial SPLs and show that for these objects, the FIG Basis Path method is as effective as testing all products, but requires us to test no more than 24% of the products in the SPL.

Análise do papel da via miR156/SQUAMOSA Promoter-Binding Protein-Like (SPL) na organogênese in vitro a partir de raízes de Arabidopsis thaliana

Os microRNAs (miRNAs) são pequenos RNAs endógenos não codantes de 21-24 nucleotídeos (nt) que regulam a expressão gênica de genes-alvos. Eles estão envolvidos em diversos aspectos de desenvolvimento da planta, tanto na parte aérea, quanto no sistema radicular. Entre os miRNAs, o miRNA156 (miR156) regula a família de fatores de transcrição SQUAMOSA Promoter-Binding Protein-Like (SPL) afetando diferentes processos do desenvolvimento vegetal. Estudos recentes mostram que a via gênica miR156/SPL apresenta efeito positivo tanto no aumento da formação de raízes laterais, quanto no aumento de regeneração de brotos in vitro a partir de folhas e hipocótilos em Arabidopsis thaliana. Devido ao fato de que a origem da formação de raiz lateral e a regeneração in vitro de brotos a partir de raiz principal compartilham semelhanças anatômicas e moleculares, avaliou-se no presente estudo se a via miR156/SPL, da mesma forma que a partir de explantes aéreos, também é capaz de influenciar na regeneração de brotos in vitro a partir de explantes radiculares. Para tanto foram comparados taxa de regeneração, padrão de distribuição de auxina e citocinina, análises histológicas e histoquímicas das estruturas regeneradas em plantas com via miR156/SPL alterada, incluindo planta mutante hyl1, na qual a produção desse miRNA é severamente reduzida. Além disso, foi avaliado o padrão de expressão do miR156 e específicos genes SPL durante a regeneração de brotos in vitro a partir da raiz principal de Arabidopsis thaliana. No presente trabalho observou-se que a alteração da via gênica miR156/SPL é capaz de modular a capacidade de regeneração de brotos in vitro a partir de raiz principal de Arabidopsis thaliana e a distribuição de auxina e citocinina presente nas células e tecidos envolvidos no processo de regeneração. Plantas superexpressando o miR156 apresentaram redução no número de brotos regenerados, além de ter o plastochron reduzido quando comparado com plantas controle. Adicionalmente, plantas contento o gene SPL9 resistente à clivagem pelo miR156 (rSPL9) apresentaram severa redução na quantidade de brotos, além de terem o plastochron alongado. Interessantemente, plantas mutantes hyl1-2 e plantas rSPL10 não apresentaram regeneração de brotos ao longo da raiz principal, mas sim intensa formação de raízes laterais e protuberâncias, respectivamente, tendo essa última apresentado indícios de diferenciação celular precoce. Tomados em conjunto os dados sugerem que o miR156 apresenta importante papel no controle do processo de regeneração de brotos in vitro. Entretanto, esse efeito é mais complexo em regeneração in vitro a partir de raízes do que a partir de cotilédones ou hipocótilos.

Temporal Control of Leaf Complexity by miRNA-Regulated Licensing of Protein Complexes

The tremendous diversity of leaf shapes has caught the attention of naturalists for centuries. In addition to interspecific and intraspecific differences, leaf morphologies may differ in single plants according to age, a phenomenon known as heteroblasty. In Arabidopsis thaliana, the progression from the juvenile to the adult phase is characterized by increased leaf serration. A similar trend is seen in species with more complex leaves, such as the A. thaliana relative Cardamine hirsuta, in which the number of leaflets per leaf increases with age. Although the genetic changes that led to the overall simpler leaf architecture in A. thaliana are increasingly well understood, less is known about the events underlying age-dependent changes within single plants, in either A. thaliana or C. hirsuta. Here, we describe a conserved miRNA transcription factor regulon responsible for an age-dependent increase in leaf complexity. In early leaves, miR319-targeted TCP transcription factors interfere with the function of miR164-dependent and miR164-independent CUC proteins, preventing the formation of serrations in A. thaliana and of leaflets in C. hirsuta. As plants age, accumulation of miR156-regulated SPLs acts as a timing cue that destabilizes TCP-CUC interactions. The destabilization licenses activation of CUC protein complexes and thereby the gradual increase of leaf complexity in the newly formed organs. These findings point to posttranslational interaction between unrelated miRNA-targeted transcription factors as a core feature of these regulatory circuits.

A view of the dynamic software product line landscape

Dynamic software product lines extend the concept of conventional SPLs by enabling software-variant generation at runtime. Recent studies yield insights into the current state of the DSPL field, research trends, and major gaps to address.

Model Mining and Efficient Verification of Software Product Lines

Software product line modeling aims at capturing a set of software products in an economic yet meaningful way. We introduce a class of variability models that capture the sharing between the software artifacts forming the products of a software product line (SPL) in a hierarchical fashion, in terms of commonalities and orthogonalities. Such models are useful when analyzing and verifying all products of an SPL, since they provide a scheme for divide-and-conquer-style decomposition of the analysis or verification problem at hand. We define an abstract class of SPLs for which variability models can be constructed that are optimal w.r.t. the chosen representation of sharing. We show how the constructed models can be fed into a previously developed algorithmic technique for compositional verification of control-flow temporal safety properties, so that the properties to be verified are iteratively decomposed into simpler ones over orthogonal parts of the SPL, and are not re-verified over the shared parts. We provide tool support for our technique, and evaluate our tool on a small but realistic SPL of cash desks.