Search results for "computer.software_genre"
showing 10 items of 3858 documents
How to Bootstrap a Language Workbench
2019
From Requirements to Code in a Model Driven Way
2010
Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…
Statechart-based design controllers for FPGA partial reconfiguration
2015
Statechart diagram and UML technique can be a vital part of early conceptual modeling. At the present time there is no much support in hardware design methodologies for reconfiguration features of reprogrammable devices. Authors try to bridge the gap between imprecise UML model and formal HDL description. The key concept in author's proposal is to describe the behavior of the digital controller by statechart diagrams and to map some parts of the behavior into reprogrammable logic by means of group of states which forms sequential automaton. The whole process is illustrated by the example with experimental results.
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective
2005
This contribution describes the results of a laboratory experiment which compares the Event-driven Process Chain (EPC) and Petri net (C/E net) regarding their approaches to represent the control-flow of processes. The outcome of the experiment indicates that from end-user perspective the EPC approach of applying connectors is superior to the token game. However, the non-local semantic of the EPC OR-connector clearly had a negative impact on end-user comprehension. The experiment also illustrates that the perceived ease-of-use and the intention to use the EPC notation is higher than C/E net.
Fundamental elements regarding the approach of risk management within the international projects with teams in the virtual environment
2021
International projects with teams in the virtual environment (IPTVE) are known as complex and high risk projects, these features being considered as significant obstacles to project success. Applying the appropriate risk management methodology could increase their success rate, becoming a fundamental tool for decision making. Research on IPTVE management risks is scarce, focused on specific sectors as software development or construction, without taking into account the differences between traditional and international projects. Thereby, risk management within IPTVE becomes a necessary approach for the performance in managing international projects. This article aims to improve the risk man…
Getting Docking into Shape Using Negative Image-Based Rescoring
2019
The failure of default scoring functions to ensure virtual screening enrichment is a persistent problem for the molecular docking algorithms used in the structure-based drug discovery. To remedy this problem, elaborate rescoring and post-processing schemes have been developed with a varying degree of success, specificity, and cost. The negative imagebased rescoring (R-NiB) has been shown to improve the flexible docking performance markedly with a variety of drug targets.The yield improvement is achieved by comparing the alternative docking poses against the negative image of the target protein’s ligand-binding cavity. In other words, the shape and electrostatics of the binding pocket is dir…
Identification of new claudin family members by a novel PSI-BLAST based approach with enhanced specificity.
2006
In an attempt to develop a novel strategy for the identification of new members of protein families by in silico approaches, we have developed a semi-automated procedure of consecutive PSI-BLAST (Position-Specific-Iterated Basic Local Alignment Search Tool) searches incorporating identificiation as well as subsequent validation of putative candidates. For a proof of concept study we chose the search for novel members of the claudin family. The initial step was an iterated PSI-BLAST search starting with the PMP22_Claudin domain of each known member of the claudin family against the human part of the RefSeq Database. Putative new claudin domains derived from the converged list were evaluated …
Bioinformatic flowchart and database to investigate the origins and diversity of Clan AA peptidases
2009
Abstract Background Clan AA of aspartic peptidases relates the family of pepsin monomers evolutionarily with all dimeric peptidases encoded by eukaryotic LTR retroelements. Recent findings describing various pools of single-domain nonviral host peptidases, in prokaryotes and eukaryotes, indicate that the diversity of clan AA is larger than previously thought. The ensuing approach to investigate this enzyme group is by studying its phylogeny. However, clan AA is a difficult case to study due to the low similarity and different rates of evolution. This work is an ongoing attempt to investigate the different clan AA families to understand the cause of their diversity. Results In this paper, we…
Extracting similar sub-graphs across PPI Networks
2009
Singling out conserved modules (corresponding to connected sub-graphs) throughout protein-protein interaction networks of different organisms is a main issue in bioinformatics because of its potential applications in biology. This paper presents a method to discover highly matching sub-graphs in such networks. Sub-graph extraction is carried out by taking into account, on the one side, both protein sequence and network structure similarities and, on the other side, both quantitative and reliability information possibly available about interactions. The method is conceived as a generalization of a known technique, able to discover functional orthologs in interaction networks. Some preliminar…
A computer system to perform structure comparison using TOPS representations of protein structure
2001
We describe the design and implementation of a fast topology-based method for protein structure comparison. The approach uses the TOPS topological representation of protein structure, aligning two structures using a common discovered pattern and generating measure of distance derived from an insert score. Heavy use is made of a constraint-based pattern-matching algorithm for TOPS diagrams that we have designed and described elsewhere (Bioinformatics 15(4) (1999) 317). The comparison system is maintained at the European Bioinformatics Institute and is available over the Web at tops.ebi.ac.uk/tops. Users submit a structure description in Protein Data Bank (PDB) format and can compare it with …