Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Study of the Mechanical Strength Improvement of Wafers for EWT Solar Cells by Chemical Etching after the Drilling Process

Mechanical stability of EWT solar cells deteriorates when holes are created in the wafer. Nevertheless, the chemical etching after the hole generation process improves the mechanical strength by removing part of the damage produced in the drilling process. Several sets of wafers with alkaline baths of different duration have been prepared. The mechanical strength has been measured by the ring on ring bending test and the failure stresses have been obtained through a FE simulation of the test. This paper shows the comparison of these groups of wafers in order to obtain an optimum value of the decreased thickness produced by the chemical etching

Generation of human computational models with machine learning

Services in smart environments pursue to increase the quality of people?s lives. The most important issues when developing this kind of environments is testing and validating such services. These tasks usually imply high costs and annoying or unfeasible real-world testing. In such cases, artificial societies may be used to simulate the smart environment (i.e. physical environment, equipment and humans). With this aim, the CHROMUBE methodology guides test engineers when modeling human beings. Such models reproduce behaviors which are highly similar to the real ones. Originally, these models are based on automata whose transitions are governed by random variables. Automaton?s structure and the probability distribution functions of each random variable are determined by a manual test and error process. In this paper, it is presented an alternative extension of this methodology which avoids the said manual process. It is based on learning human behavior patterns automatically from sensor data by using machine learning techniques. The presented approach has been tested on a real scenario, where this extension has given highly accurate human behavior models,

A methodology for the generation and evaluation of biorefinery process chains, in order to identify the most promising biorefineries for the EU

The topic of bioenergy, biofuels and bioproducts remains at the top of the current political and research agenda. Identification of the optimum processing routes for biomass, in terms of efficiency, cost, environment and socio-economics is vital as concern grows over the remaining fossil fuel resources, climate change and energy security. It is known that the only renewable way of producing conventional hydrocarbon fuels and organic chemicals is from biomass, but the problem remains of identifying the best product mix and the most efficient way of processing biomass to products. The aim is to move Europe towards a biobased economy and it is widely accepted that biorefineries are key to this development. A methodology was required for the generation and evaluation of biorefinery process chains for converting biomass into one or more valuable products that properly considers performance, cost, environment, socio-economics and other factors that influence the commercial viability of a process. In this thesis a methodology to achieve this objective is described. The completed methodology includes process chain generation, process modelling and subsequent analysis and comparison of results in order to evaluate alternative process routes. A modular structure was chosen to allow greater flexibility and allowing the user to generate a large number of different biorefinery configurations The significance of the approach is that the methodology is defined and is thus rigorous and consistent and may be readily re-examined if circumstances change. There was the requirement for consistency in structure and use, particularly for multiple analyses. It was important that analyses could be quickly and easily carried out to consider, for example, different scales, configurations and product portfolios and so that previous outcomes could be readily reconsidered. The result of the completed methodology is the identification of the most promising biorefinery chains from those considered as part of the European Biosynergy Project.

Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

IGTAI - an Idea Generation Tool for Ambient Inteligence

Today, business group decision making is an extremely important activity. A considerable number of applications and research have been made in the past years in order to increase the effectiveness of decision making process. In order to support the idea generation process, IGTAI (Idea Generation Tool for Ambient Intelligence) prototype was created. IGTAI is a Group Decision Support System designed to support any kind of meetings namely distributed, asynchronous or face to face. It aims at helping geographically distributed (or not) people and organizations in the idea generation task, by making use of pervasive hardware in a meeting room, expanding the meeting beyond the room walls by allowing a ubiquitous access through different kinds of equipment. This paper focus on the research made to build IGTAI prototype, its architecture and its main functionalities, namely the support given in the different phases of the idea generation meeting.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Social entrepreneurship as a solution provider for ageing societies in Europe

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Characterization of the effects of IL-17F on CHO cell line generation

CHO is the most commonly used mammalian host for the generation of cell lines allowing for the production of high quality therapeutic proteins. The generation of such cell lines is a lengthy and resource-intensive process requiring extensive screening in order to isolate candidates with optimal characteristics, such as growth, stability and productivity. For this reason, the biotechnology industry invests much effort in attempts to optimize CHO expression systems in order to streamline and shorten the cell line selection process. Based on preliminary observations of a facilitated selection of CHO-GS cell lines expressing members of the IL-17 cytokine family, this study investigates the use of IL-17F as a novel enhancing factor for CHO cell line generation. Using two different CHO expression systems (exploiting GS and DHFR-based selection), we demonstrated that IL-17F expression caused a significant increase in the occurrence of colonies during the selection process. All colonies selected produced substantial amounts of IL-17F, suggesting that benefits were conferred, during selection, to those cells expressing the cytokine. Furthermore, transgene expression levels were significantly increased when the selection pressure was raised to a level that would not normally be permissive for colony selection (i.e. 100 |o.M MSX for the CHO-GS expression system or 1000 nM MTX for the CHO-DHFR system). Finally, IL-17F expression was also found to enhance the rate of appearance of clones during single cell subcloning in the absence of selection pressure. Overall, these benefits have the potential to allow a substantial reduction in the length of cell line generation while significantly increasing cell line productivity. Nevertheless, we found that the high IL-17F expression levels required to convey enhancing effects was a limitation when attempting to co-express IL-17F and a recombinant soluble protein of therapeutic interest from independent CMV promoters within the same expression vector. In order to understand and overcome this limitation, studies were designed to characterize the IL-17F enhancing effect at the molecular and cellular level. Regular supplementation of recombinant biologically-active IL-17F into the culture medium during cell line selection was not able to reproduce the enhancing effects of endogenous IL-17F expression. In addition, increased IL-17F expression correlated with increased CHO-GS selection transgene expression at the single cell level. This data suggested a possible effect of IL-17F on viral promoter activity or transgene mRNA stability. It also provided direct evidence that the cells expressing the highest amounts of IL-17F obtained the most benefit. Overall data obtained from these study implied that IL-17F may act through an intracellular mechanism, possibly exerted during secretion. We therefore initiated experiments designed to determine the specific compartment(s) within which IL-17F triggers its effect. This work has identified IL-17F as a potentially powerful tool to optimize the CHO cell line generation process. The characterization of this enhancing effect at the molecular level has given us several insights into overcoming the current limitations, thus paving the way for the development of a viable technology that can be exploited within the biotechnology industry. - La CHO est la cellule hôte de mammifere la plus couramment utilisée dans la création de lignée cellulaire produisant des protéines thérapeutiques de haute qualité. La génération de ces lignées cellulaires est un processus long et exigeant l'utilisation de techniques de sélection robustes afin d'isoler des candidats possédants les caractéristiques optimales de croissance, de productivité et de stabilité d'expression. Les industries biopharmaceutiques ont investi beaucoup d'efforts afin d'optimiser les systèmes d'expression CHO dans le but raccourcir la longueur du procédé de sélection de lignées cellulaires et aussi d'en augmenter l'efficacité. A partir d'observations préliminaires obtenues lors de la génération de lignées cellulaires CHO- GS exprimant une cytokine appartenant à la famille des IL-17, nous avons réalisé une étude portant sur l'utilisation de l'IL-17F humaine (IL-17F) comme nouveau facteur d'optimisation pour la génération de lignées cellulaires CHO. Nous avons démontré, en utilisant les deux systèmes de sélection et d'expression CHO couramment utilisés (le premier exploitant la GS et l'autre basée sur la DHFR), que l'expression de l'IL-17F permet une augmentation significative de la fréquence d'apparition de colonies durant le processus de sélection de lignées cellulaires. Les différentes colonies sélectionnées expriment des quantités substantielles d'IL-17F, suggérant un effet bénéfique lors de la sélection qui serait exclusivement conféré aux cellules exprimant la cytokine. En outre, le niveau d'expression du transgene se trouve significativement augmenté lorsque la pression de sélection est portée à un niveau habituellement trop élevé pour permettre la sélection de colonies (soit 100 |JM MSX pour le système d'expression CHO-GS ou 1000 nM MTX pour le système CHO- DHFR). Enfin, l'expression d'IL-17F permet également d'améliorer la vitesse d'apparition de clones pendant une étape de sous-clonage en l'absence de pression de sélection. L'ensemble de ces effets bénéfiques permettent une réduction substantielle de la durée de génération de lignées cellulaires tout en augmentant considérablement la productivité des lignées obtenues. Néanmoins, nous avons constaté que la nécessité d'exprimer des niveaux élevés d'IL-17F afin obtenir l'ensemble de ses effets bénéfiques devient une contrainte lors de l'utilisation d'un vecteur d'expression composé de deux promoteurs CMV indépendants pour la co-expression de la cytokine et d'une protéine soluble présentant un intérêt thérapeutique. Afin de mieux comprendre et de surmonter cette limitation, plusieurs études ont été effectuées dans le but de mieux caractériser l'effet de IL-17F au niveau subcellulaire. L'apport régulier en IL-17F recombinante et biologiquement active dans le milieu de culture lors de la sélection de lignées cellulaires ne permet pas de reproduire les effets bénéfiques observés par l'expression endogène d'IL-17F. En outre, nous avons constaté que, lors de l'utilisation du système CHO- GS, l'augmentation d'expression de 1TL-17F est corrélée à un accroissement de l'expression du marqueur de sélection au niveau cellulaire. Ces résultats suggèrent un possible effet d'IL- 17F sur l'activité des promoteurs viraux et ainsi fournissent une preuve directe que les cellules exprimant de haut niveau d'IL-17F sont celles qui en profitent le plus. L'ensemble de ces observations mettrait en avant que l'effet d'IL-17F se ferait selon un mécanisme intracellulaire. Nous avons donc étudié le(s) compartiment(s) spécifique(s) dans lequel IL-17F pourrait exercer son effet. Ce travail a permis de définir IL-17F comme un puissant outil pour l'optimisation des procédés de génération de lignées cellulaires CHO. La caractérisation de cette amélioration de l'effet au niveau moléculaire nous a donné plusieurs indications sur la manière de dépasser les limitations actuelles, ouvrant ainsi la voie au développement d'une technologie viable qui peut être exploitée pars l'industrie biotechnologique.

Cervical screening programme: HPV triage and test of cure protocol

Testing for high-risk human papillomavirus (HR-HPV) as triage and test of cure was introduced into the Northern Ireland Cervical Screening Programme on Monday 28 January 2013. This policy change will significantly alter the screening pathway for women with a mild dyskaryosis or borderline smear result. The link between HR-HPV infection and the development of cervical cancer has now been clearly established, with almost 100% of cervical cancers containing HPV DNA. Women with no evidence of HR-HPV infection are extremely unlikely to develop cervical cancer in the short to medium term. HPV triage is the process whereby HR-HPV testing is used to manage women with low grade cervical abnormalities. Only 15-20% of women with a borderline or mild smear result have a significant abnormality that needs treatment. HR-HPV testing is effective in identifying which women may need treatment and allows colposcopy resources to be allocated more effectively.The test of cure process is being introduced because it is now known that women with a normal or low grade smear test, and who are HR-HPV negative at six months after treatment, are at very low risk of residual disease. These women do not need to be recalled for another screening appointment for three years.The test of cure process means all post-treatment smears (at six months) that are reported as normal, borderline or mild dyskaryosis will be tested for HR-HPV. Those women who are HR-HPV positive will remain at colposcopy. HR-HPV negative women can be safely returned to recall in three years. It is estimated that the HR-HPV test of cure will allow approximately 80% of women who have been through treatment to avoid undergoing annual smear tests. This flowchart poster outlines the new triage and test of cure process. It was distributed to all GPs in Northern Ireland and is available to download as a PDF from this website.�

What is what?: A simple time-domain test of long-memory vs. structural breaks

This paper proposes a new time-domain test of a process being I(d), 0 < d = 1, under the null, against the alternative of being I(0) with deterministic components subject to structural breaks at known or unknown dates, with the goal of disentangling the existing identification issue between long-memory and structural breaks. Denoting by AB(t) the different types of structural breaks in the deterministic components of a time series considered by Perron (1989), the test statistic proposed here is based on the t-ratio (or the infimum of a sequence of t-ratios) of the estimated coefficient on yt-1 in an OLS regression of ?dyt on a simple transformation of the above-mentioned deterministic components and yt-1, possibly augmented by a suitable number of lags of ?dyt to account for serial correlation in the error terms. The case where d = 1 coincides with the Perron (1989) or the Zivot and Andrews (1992) approaches if the break date is known or unknown, respectively. The statistic is labelled as the SB-FDF (Structural Break-Fractional Dickey- Fuller) test, since it is based on the same principles as the well-known Dickey-Fuller unit root test. Both its asymptotic behavior and finite sample properties are analyzed, and two empirical applications are provided.

Test automation in Basic Acceptance Testing of S60 platform

Perushyväksymistestaus on oleellinen osa S60 alustan julkaisukandidaatin maturiteetin seurannassa. Perushyväksymistestausta tehdään myös ohjelmiston julkistamiskelpoisuuden varmistamiseksi. Testaustulokset halutaan aina mahdollisimman nopeasti. Lisäksi testaustiimin työmäärä on hiljalleen kasvanut, koska projekteja onenemmän ja korjauksia sisältäviä ja räätälöityjä settejä testataan enemmän. Tässä diplomityössä tutkitaan lyhentäisikö testisetin osan automatisointi testien ajoaikaa ja helpottaisiko se testaajien työtaakkaa. Tarkastelu toteutetaan automatisoimalla osa testisetistä ja kokemuksia esitellään tässä lopputyössä.

Integrating testcase generator into Eclipse environment

Tämädiplomityö tutkii kuinka Eclipse -ympäristöä voidaan käyttää testitapausten generoinnissa. Eräs diplomityön pääaiheista on tutkia voidaanko olemassa olevilla Eclipsen komponenteilla parantaa symboolitietoutta, jotta testitapausten generointiin saataisiin lisää tietoa. Aluksi diplomityö antaa lyhyen katsauksen ohjelmistojentestaukseen, jotta lukija ymmärtää mitä ohjelmistotekniikan osa-aluetta diplomityö käsittelee. Tämän jälkeen kerrotaan lisää tietoa itse testitapausten generointiprosessista. Kun perusteet on käsitelty, tutustetaan lukija Eclipse -ympäristöön, mikä se on, mistä se koostuu ja mitä sillä voidaan tehdä. Tarkempaa tietoa kerrotaan Eclipsen komponenteista joita voidaan käyttää apuna testitapausten generoinnissa. Integrointi esimerkkinä diplomityössä esitellään valmiin testitapausgeneraattorin integrointi Eclipse -ympäristöön. Lopuksi Eclipse -pohjaista ratkaisua verrataan symboolitietouden sekä ajoajan kannalta aikaisempaan ratkaisuun. Diplomityön tuloksena syntyi prototyyppi jonka avulla todistettiin, että Eclipse - ympäristöön on mahdollista integroida testitapausgeneraattori ja että se voi lisätä symboolitietoutta. Tämätietouden lisäys kuitenkin lisäsi myös tarvittavaa ajoaikaa, joissakintapauksissa jopa merkittävästi. Samalla todettiin, että tällä hetkellä on menossa projekteja joiden tarkoituksena on parantaa käytettyjen Eclipse komponenttien suorituskykyä ja että tämä voi parantaa tuloksia tulevaisuudessa.

Supporting knowledge creation and sharing in the early phases of the strategic innovation process

The driving forces of technology and globalization continuously transform the business landscape in a way which undermines the existing strategies and innovations of organizations. The challenge for organizations is to establish such conditions where they are able to create new knowledge for innovative business ideas in interaction between other organizations and individuals. Innovation processes continuously need new external stimulations and seek new ideas, new information and knowledge locating more and more outside traditional organizational boundaries. In several studies, the early phases of the innovation process have been considered as the most critical ones. During these phases, the innovation process can emerge or conclude. External knowledge acquirement and utilization are noticed to be important at this stage of the innovation process giving information about the development of future markets and needs for new innovative businessideas. To make it possible, new methods and approaches to manage proactive knowledge creation and sharing activities are needed. In this study, knowledge creation and sharing in the early phases of the innovation process has been studied, and the understanding of knowledge management in the innovation process in an open and collaborative context advanced. Furthermore, the innovation management methods in this study are combined in a novel way to establish an open innovation process and tested in real-life cases. For these purposes two complementary and sequentially applied group work methods - the heuristic scenario method and the idea generation process - are examined by focusing the research on the support of the open knowledge creation and sharing process. The research objective of this thesis concerns two doctrines: the innovation management including the knowledge management, and the futures research concerning the scenario paradigm. This thesis also applies the group decision support system (GDSS) in the idea generation process to utilize the converged knowledge during the scenario process.

Applying the principles of life cycle assessment and costing in process modeling to examine profit-making capability

Static process simulation has traditionally been used to model complex processes for various purposes. However, the use of static processsimulators for the preparation of holistic examinations aiming at improving profit-making capability requires a lot of work because the production of results requires the assessment of the applicability of detailed data which may be irrelevant to the objective. The relevant data for the total assessment gets buried byirrelevant data. Furthermore, the models do not include an examination of the maintenance or risk management, and economic examination is often an extra property added to them which can be performed with a spreadsheet program. A process model applicable to holistic economic examinations has been developed in this work. The model is based on the life cycle profit philosophy developed by Hagberg and Henriksson in 1996. The construction of the model has utilized life cycle assessment and life cycle costing methodologies with a view to developing, above all, a model which would be applicable to the economic examinations of complete wholes and which would require the need for information focusing on aspects essential to the objectives. Life cycle assessment and costing differ from each other in terms of the modeling principles, but the features of bothmethodologies can be used in the development of economic process modeling. Methods applicable to the modeling of complex processes can be examined from the viewpoint of life cycle methodologies, because they involve the collection and management of large corpuses of information and the production of information for the needs of decision-makers as well. The results of the study shows that on the basis of the principles of life cycle modeling, a process model can be created which may be used to produce holistic efficiency examinations on the profit-making capability of the production line, with fewer resources thanwith traditional methods. The calculations of the model are based to the maximum extent on the information system of the factory, which means that the accuracyof the results can be improved by developing information systems so that they can provide the best information for this kind of examinations.