Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Mitigating the impact of occupational noise exposure for elderly workers: Setting the functional requirements for an ANC system

Noise affects people in very different aspects and in almost every aspect of our daily life. The most prominent impact of noise exposure is hearing loss. However, it can also impair people at their work settings due to other effects rather than hearing loss. Older works tend to be more susceptible to noise exposure effects at work, firstly because most of them already have some ‘natural’ hearing loss, as a results of the ageing process, and secondly because they also tend to be more susceptible at an psychological level. The current study is an attempt to describe the potential problem and to make a survey to identify the available active noise cancelation systems, as well as to specific the main requirements of this type of systems to be applied in such contexts. Several aspects of characteristics of the ANC systems were identified and are presented in this study. From the obtained results it was possible to have a clearer idea about the potential of this technology, and to confirm that this type of solution can be extremely important as a component of an active ageing program, as the preservation of hearing will also impact on the social life of the exposed workers.

Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Bias na Representação de Assunto: Uma Discussão de Oposições Binárias nos Functional Requirements for Subject Authority Data (FRSAD)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Functional requirements of histone deacetylases in Tup1-Ssn6 repression

The corepressor complex Tup1-Ssn6 regulates many classes of genes in yeast including cell type specific, glucose repressible, and DNA damage inducible. Tup1 and Ssn6 are recruited to target promoters through their interactions with specific DNA binding proteins such as α2, Mig1, and Crt1. Most promoters that are repressed by this corepressor complex exhibit a high degree of nucleosomal organization. This chromatin domain occludes transcription factor access to the promoter element resulting in gene repression. Previous work indicated that Tup1 interacts with underacetylated isoforms of H3 and H4, and that mutation of these histones synergistically compromises repression. These studies predict that Tup1-hypoacetyalted histone interaction is important to the repression mechanism, and in vivo hyperacetylation might compromise the corepressors ability to repress target genes. ^ One way to alter histone acetylation levels in vivo is to alter the balance between histone acetyltransferases and histone deacetylases. To date five histone deacetylases (HDACs) have been identified in yeast Rpd3, Hos1, Hos2, Hos3 and Hda1. Deletion of single or double HDAC genes had little to no effect on Tup1-Ssn6 repression, but simultaneous deletion of three specific activities Rpd3, Hos1, and Hos2 abolished repression in vivo. Promoter regions of Tup1-Ssn6 target genes in these triple deacetylase mutant cells are dramatically hyperacetylated in both H3 and H4. Examination of bulk histone acetylation levels showed that this specific HDAC triple mutant combination (rpd3 hos1 hos2) caused a dramatic and concomitant hyperacetylation of both H3 and H4. The loss of repression in the rpd3 hos1 hos2 cells, but not in other mutants, is consistent with previous observations, which indicate that histones provide redundant functions in the repression mechanism and that high levels of acetylation are required to prevent Tup1 binding. Investigation into a potential direct interaction between the Tup1-Ssn6 corepressor complex and one or more HDAC activities showed that both Rpd3 and Hos2 interact with the corepressor complex in vivo. These findings indicate that Tup1-Ssn6 repression involves the recruitment of histone deacetylase activities to target promoters, where they locally deacetylate histone residues promoting Tup1-histone tail interaction to initiate and/or maintain the repressed state. ^

Improved commercial vehicle conspicuity and signalling systems. Task I: accident analysis and functional requirements. Interim report.

National Highway Traffic Safety Administration, Washington, D.C.

Functional requirements for aircraft weapon system trainer instructor station display and recording systems

Cover title.

An examination of standards of functional requirements, performance and finish in housing

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

On modeling and satisfaction of non-functional requirements using cloud computing

Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider's own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources. © 2013 IEEE.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Functional Analysis of saxophone, the Drosophila Gene Encoding the BMP Type I Receptor Ortholog of Human ALK1/ACVRL1 and ACVR1/ALK2

In metazoans, bone morphogenetic proteins (BMPS) direct a myriad of developmental and adult homeostatic evens through their heterotetrameric type I and type II receptor complexes. We examined 3 existing and 12 newly generated mutations in the Drosophila type I receptor gene, saxophone (sax), the ortholog of the human Activin Receptor-Like. Kinasel and -2 (ALK1/ACVR1 and ALK2/ACVR1) genes. Our genetic analyses identified two distinct classes of sax alleles. The first class consists of homozygous viable gain-of-function (GOF) alleles that exhibit (1) synthetic lethality in combination with mutations in BMP pathway components, and (2) significant maternal effect lethality that can be rescued by an increased dosage of the BMP encoding gene, dpp(+). In contrast, the second class consists of alleles that are recessive lethal and do not exhibit lethality in combination with mutations in other BMP pathway components. The alleles in this second class are clearly loss-of-function (LOF) with both complete and partial loss-of-function mutations represented. We find that one allele in the second class of recessive lethals exhibits dominant-negative behavior, albeit distinct from the GOF activity of the first class of viable alleles. On the basis of the fact that the first class of viable alleles can be reverted to lethality and on our ability to independently generate recessive lethal sat mutations, our analysis demonstrates that sax is an essential gene. Consistent with this conclusion, we find that a normal sax transcript is produced by sax(P), a viable allele previously reported to be mill, and that this allele can be reverted to lethality. Interestingly, we determine that two mutations in the first: class of sax alleles show the same amino acid substitutions as mutations in the human receptors ALK1/ACVR1-1 and ACVR1/ALK2, responsible for cases of hereditary hemorrhagic telangiectasia type 2 (HHT2) and fibrodysplasia ossificans progressiva (FOP), respectively. Finally, the data presented here identify different functional requirements for the Sax receptor, support the proposal that Sax participates in a heteromeric receptor complex, and provide a mechanistic framework for future investigations into disease states that arise from defects in BMP/TGF-beta signaling.

A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts