Sciweavers

2878 search results - page 92 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
SCP
2010
96views more  SCP 2010»
13 years 6 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
BMCBI
2005
124views more  BMCBI 2005»
13 years 8 months ago
ErmineJ: Tool for functional analysis of gene expression data sets
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...
Homin K. Lee, William Braynen, Kiran Keshav, Paul ...
WSC
2000
13 years 9 months ago
Simulation software: an Operational Research Society survey of academic and industrial users
Simulation modeling is being widely used in areas such as manufacturing, health, network communications and military. Such popularity of simulation has resulted in a large number ...
Vlatka Hlupic
IWPC
2009
IEEE
14 years 2 months ago
BugFix: A learning-based tool to assist developers in fixing bugs
We present a tool called BugFix that can assist developers in fixing program bugs. Our tool automatically analyzes the debugging situation at a statement and reports a prioritize...
Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupt...
VMCAI
2009
Springer
14 years 2 months ago
A Scalable Memory Model for Low-Level Code
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
Zvonimir Rakamaric, Alan J. Hu