Sciweavers

6197 search results - page 43 / 1240
» Sandbridge Software Tools
Sort
View
TCAD
2008
181views more  TCAD 2008»
13 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
WM
2003
13 years 9 months ago
Case-Based Reuse of Software Examplets
: We present a software tool for examplet reuse. We define examplets to be goal-directed snippets of source code, often written for tutorial purposes, that show how to use program...
Markus Grabert, Derek G. Bridge
MBUI
2004
121views User Interface» more  MBUI 2004»
13 years 9 months ago
Towards Usable Analysis, Design and Modeling Tools
In this paper, we discuss the issues preventing adoption of analysis, design and modeling (AMD) software development tools. We argue that AMD tools are experiencing the same probl...
Nuno Jardim Nunes, Pedro F. Campos
DAIS
1997
13 years 9 months ago
An Integration Framework for Open Tool Environments
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
Georg Paul, Kai-Uwe Sattler, Martin Endig
BMCBI
2006
104views more  BMCBI 2006»
13 years 7 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi