Sciweavers

606 search results - page 13 / 122
» A Comparative Study of Industrial Static Analysis Tools
Sort
View
RE
2010
Springer
14 years 7 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof
SOFSEM
2009
Springer
15 years 9 months ago
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Micha...
98
Voted
ISJ
2002
151views more  ISJ 2002»
15 years 4 days ago
Code quality analysis in open source software development
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
Ioannis Stamelos, Lefteris Angelis, Apostolos Oiko...
91
Voted
BMCBI
2007
120views more  BMCBI 2007»
15 years 14 days ago
Non-coding sequence retrieval system for comparative genomic analysis of gene regulatory elements
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
Sung Tae Doh, Yunyu Zhang, Matthew H. Temple, Li C...
WOSP
2005
ACM
15 years 6 months ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...