Sciweavers

1246 search results - page 50 / 250
» Tool Support for Helping the Use of Frameworks
Sort
View
CSMR
2009
IEEE
14 years 2 months ago
Cognac: A Framework for Documenting and Verifying the Design of Cobol Systems
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Luc ...
AUIC
2004
IEEE
13 years 11 months ago
Delegation Diagrams: Visual Support for the Development of Object-Oriented Designs
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
Ewan D. Tempero, James Noble, Robert Biddle
NAR
2006
134views more  NAR 2006»
13 years 7 months ago
The MPI Bioinformatics Toolkit for protein sequence analysis
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...
Andreas Biegert, Christian Mayer, Michael Remmert,...
PST
2008
13 years 9 months ago
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...
BMCBI
2006
118views more  BMCBI 2006»
13 years 7 months ago
Djinn Lite: a tool for customised gene transcript modelling, annotation-data enrichment and exploration
Background: There is an ever increasing rate of data made available on genetic variation, transcriptomes and proteomes. Similarly, a growing variety of bioinformatic programs are ...
Erdahl T. Teber, Edward Crawford, Kent B. Bolton, ...