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.

Cross-cultural adaptation and validation of a Quality of Life questionnaire: The Nasal Obstruction Symptom Evaluation questionnaire

Background:The Nasal Obstruction Symptom Evaluation (NOSE) instrument is a disease-specific questionnaire for assessing the outcome of an intervention in nasal obstruction in trials. This instrument is only available in the English language and cross-culturally valid questionnaires are very important for all research, including nasal obstruction. The aim of the current study was to reproduce the cross-cultural adaptation process for the NOSE questionnaire in the Portuguese language (NOSE-p). Methodology: Cross-cultural adaptation and validation of the instrument were divided into two stages. Stage I involved four bilingual professionals, an expert committee and the author of the original instrument. In Stage 2, the NOSE-p was tested on 33 patients undergoing septoplasty for internal consistency, test-retest reliability, construct validity. discriminant validity, criterion validity, and response sensitivity. Results: The cross-cultural adaptation process was completed and the NOSE-p was demonstrated to be a valid instrument with satisfactory construct validity. It showed an adequate internal consistency reliability and adequate test-retest reliability. It could discriminate between patients with and without nasal obstruction and it has a high response sensitivity to change. Conclusions: The cross-cultural adaptation and validation process demonstrated to be valid and the NOSE-p proved to be applicable in Brazil.

PRACTICAL USE OF MOLECULAR MARKERS IN BEEF AND DAIRY ZEBU CATTLE IN BRAZIL

Selection of zebu (Bos indicus) beef and dairy cattle in Brazil and the validation process of genetic markers for growth, carcass and meat quality traits and also for milk production, fat and protein milk content are discussed as concerned to the concepts and details of their use as auxiliary tools in selection processes. It is highlighted, also, the importance of right selection of ova donor cows for production of embryos to be transferred.

Determination of fluoxetine in plasma by gas chromatography-mass spectrometry using stir bar sorptive extraction

This article presents a method employing stir bar sorptive extraction (SBSE) with in situ derivatization, in combination with either thermal or liquid desorption on-line coupled to gas chromatography-mass spectrometry for the analysis of fluoxetine in plasma samples. Ethyl chloroformate was employed as derivatizing agent producing symmetrical peaks. Parameters such as solvent polarity, time for analyte desorption, and extraction time, were evaluated. During the validation process, the developed method presented specificity, linearity (R-2 > 0.99), precision (R.S.D. < 15%), and limits of quantification (LOQ) of 30 and 1.37 pg mL(-1), when liquid and thermal desorption were employed, respectively. This simple and highly sensitive method showed to be adequate for the measurement-of fluoxetine in typical and trace concentration levels. (c) 2008 Elsevier B.V. All rights reserved.

Process Capability Indexes Determination on Tabletting Performance during the Process Validation for Metamizol Tablets

The aim of the present study was to provide a numerical measure, through the process capability indexes (PCIs), C(p) and C(pk), on whether or not the manufacturing process can be considered capable of producing metamizol (500 mg) tablets. They were also used as statistical tool in order to prove the consistency of the tabletting process, making sure that the tablet weight and the content uniformity of metamizol are able to comply with the preset requirements. Besides that, the ANOVA, the t-test and the test for equal variances were applied to this study, allowing additional knowledge of the tabletting phase. Therefore, the proposed statistical approach intended to assure more safety, precision and accuracy on the process validation analysis.

Evaluation of biologic occupational risk control practices: Quality indicators development and validation

Background: There is growing demand for the adoption of qualification systems for health care practices. This study is aimed at describing the development and validation of indicators for evaluation of biologic occupational risk control programs. Methods: The study involved 3 stages: (1) setting up a research team, (2) development of indicators, and (3) validation of the indicators by a team of specialists recruited to validate each attribute of the developed indicators. The content validation method was used for the validation, and a psychometric scale was developed for the specialists` assessment. A consensus technique was used, and every attribute that obtained a Content Validity Index of at least 0.75 was approved. Results: Eight indicators were developed for the evaluation of the biologic occupational risk prevention program, with emphasis on accidents caused by sharp instruments and occupational tuberculosis prevention. The indicators included evaluation of the structure, process, and results at the prevention and biologic risk control levels. The majority of indicators achieved a favorable consensus regarding all validated attributes. Conclusion: The developed indicators were considered validated, and the method used for construction and validation proved to be effective.

Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits. (C) 2011 Elsevier Ltd. All rights reserved.

Integrated analysis of cooling water systems: Modeling and experimental validation

Cooling towers are widely used in many industrial and utility plants as a cooling medium, whose thermal performance is of vital importance. Despite the wide interest in cooling tower design, rating and its importance in energy conservation, there are few investigations concerning the integrated analysis of cooling systems. This work presents an approach for the systemic performance analysis of a cooling water system. The approach combines experimental design with mathematical modeling. An experimental investigation was carried out to characterize the mass transfer in the packing of the cooling tower as a function of the liquid and gas flow rates, whose results were within the range of the measurement accuracy. Then, an integrated model was developed that relies on the mass and heat transfer of the cooling tower, as well as on the hydraulic and thermal interactions with a heat exchanger network. The integrated model for the cooling water system was simulated and the temperature results agree with the experimental data of the real operation of the pilot plant. A case study illustrates the interaction in the system and the need for a systemic analysis of cooling water system. The proposed mathematical and experimental analysis should be useful for performance analysis of real-world cooling water systems. (C) 2009 Elsevier Ltd. All rights reserved.

Cross-cultural adaptation and validation of a Brazilian Portuguese version of the chronic pain grade

To verify the reliability and validity of a Brazilian Portuguese version of the chronic pain grade (CPG-Br). Cultural adaptation was made in accordance with established guidelines, with modifications aiming at improving this process. Adaptations were made based on interviews with 45 chronic pain patients from So Paulo city. Validation was studied by concurrent application of the short-form-36 health survey (SF-36) and other questionnaires to 283 participants with chronic pain from the general population. Temporal stability was verified by a second application to 131 individuals. Factor analysis resulted in a two-factor solution with factors named characteristic pain intensity and activity limitation due to pain. Alpha coefficients of 0.78 and 0.70 and intraclass correlation coefficients of 0.76 and 0.72 for each factor indicated good internal consistency and temporal stability. Significant correlations between CPG-Br and SF-36, Roland-Morris disability questionnaire and neck disability index scores were noted. A consistent linear trend was also observed between pain grades and SF-36 scores. Frequency of use of pain medications and of pain-related medical visits increased with pain grade. This Brazilian Portuguese version of the chronic pain grade, tested on a sample of the Brazilian population, demonstrated good reliability and validity.

Sequence-specific reconstruction from fragmentary databases using seed sequences: implementation and validation on SAGE, proteome and generic sequencing data

Motivation: DNA assembly programs classically perform an all-against-all comparison of reads to identify overlaps, followed by a multiple sequence alignment and generation of a consensus sequence. If the aim is to assemble a particular segment, instead of a whole genome or transcriptome, a target-specific assembly is a more sensible approach. GenSeed is a Perl program that implements a seed-driven recursive assembly consisting of cycles comprising a similarity search, read selection and assembly. The iterative process results in a progressive extension of the original seed sequence. GenSeed was tested and validated on many applications, including the reconstruction of nuclear genes or segments, full-length transcripts, and extrachromosomal genomes. The robustness of the method was confirmed through the use of a variety of DNA and protein seeds, including short sequences derived from SAGE and proteome projects.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Validation of an experimental polyurethane model for biomechanical studies on implant supported prosthesis - tension tests

OBJECTIVES: The complexity and heterogeneity of human bone, as well as ethical issues, frequently hinder the development of clinical trials. The purpose of this in vitro study was to determine the modulus of elasticity of a polyurethane isotropic experimental model via tension tests, comparing the results to those reported in the literature for mandibular bone, in order to validate the use of such a model in lieu of mandibular bone in biomechanical studies. MATERIAL AND METHODS: Forty-five polyurethane test specimens were divided into 3 groups of 15 specimens each, according to the ratio (A/B) of polyurethane reagents (PU-1: 1/0.5, PU-2: 1/1, PU-3: 1/1.5). RESULTS: Tension tests were performed in each experimental group and the modulus of elasticity values found were 192.98 MPa (SD=57.20) for PU-1, 347.90 MPa (SD=109.54) for PU-2 and 304.64 MPa (SD=25.48) for PU-3. CONCLUSION: The concentration of choice for building the experimental model was 1/1.

Validation of an experimental polyurethane model for biomechanical studies on implant-supported prosthesis: compression tests

OBJECTIVES: The complexity and heterogeneity of human bone, as well as ethical issues, most always hinder the performance of clinical trials. Thus, in vitro studies become an important source of information for the understanding of biomechanical events on implant-supported prostheses, although study results cannot be considered reliable unless validation studies are conducted. The purpose of this work was to validate an artificial experimental model based on its modulus of elasticity, to simulate the performance of human bone in vivo in biomechanical studies of implant-supported prostheses. MATERIAL AND METHODS: In this study, fast-curing polyurethane (F16 polyurethane, Axson) was used to build 40 specimens that were divided into five groups. The following reagent ratios (part A/part B) were used: Group A (0.5/1.0), Group B (0.8/1.0), Group C (1.0/1.0), Group D (1.2/1.0), and Group E (1.5/1.0). A universal testing machine (Kratos model K - 2000 MP) was used to measure modulus of elasticity values by compression. RESULTS: Mean modulus of elasticity values were: Group A - 389.72 MPa, Group B - 529.19 MPa, Group C - 571.11 MPa, Group D - 470.35 MPa, Group E - 437.36 MPa. CONCLUSION: The best mechanical characteristics and modulus of elasticity value comparable to that of human trabecular bone were obtained when A/B ratio was 1:1.

Effects of the condylar process fracture on facial symmetry in rats submitted to protein undernutrition

PURPOSE: To investigate the facial symmetry of rats submitted to experimental mandibular condyle fracture and with protein undernutrition (8% of protein) by means of cephalometric measurements. METHODS: Forty-five adult Wistar rats were distributed in three groups: fracture group, submitted to condylar fracture with no changes in diet; undernourished fracture group, submitted to hypoproteic diet and condylar fracture; undernourished group, kept until the end of experiment, without condylar fracture. Displaced fractures of the right condyle were induced under general anesthesia. The specimens were submitted to axial radiographic incidence, and cephalometric mensurations were made using a computer system. The values obtained were subjected to statistical analyses among the groups and between the sides in each group. RESULTS: There was significative decrease of the values of serum proteins and albumin in the undernourished fracture group. There was deviation of the median line of the mandible relative to the median line of the maxilla, significative to undernutrition fracture group, as well as asymmetry of the maxilla and mandible, in special in the final period of experiment. CONCLUSION: The mandibular condyle fracture in rats with proteic undernutrition induced an asymmetry of the mandible, also leading to consequences in the maxilla.

Influence of specimens' design and manufacturing process on microtensile bond strength to enamel: laboratory and FEA comparison

This study evaluated the effect of specimens' design and manufacturing process on microtensile bond strength, internal stress distributions (Finite Element Analysis - FEA) and specimens' integrity by means of Scanning Electron Microscopy (SEM) and Laser Scanning Confocal Microscopy (LCM). Excite was applied to flat enamel surface and a resin composite build-ups were made incrementally with 1-mm increments of Tetric Ceram. Teeth were cut using a diamond disc or a diamond wire, obtaining 0.8 mm² stick-shaped specimens, or were shaped with a Micro Specimen Former, obtaining dumbbell-shaped specimens (n = 10). Samples were randomly selected for SEM and LCM analysis. Remaining samples underwent microtensile test, and results were analyzed with ANOVA and Tukey test. FEA dumbbell-shaped model resulted in a more homogeneous stress distribution. Nonetheless, they failed under lower bond strengths (21.83 ± 5.44 MPa)c than stick-shaped specimens (sectioned with wire: 42.93 ± 4.77 MPaª; sectioned with disc: 36.62 ± 3.63 MPa b), due to geometric irregularities related to manufacturing process, as noted in microscopic analyzes. It could be concluded that stick-shaped, nontrimmed specimens, sectioned with diamond wire, are preferred for enamel specimens as they can be prepared in a less destructive, easier, and more precise way.