Sciweavers

3561 search results - page 139 / 713
» Design: One, but in different forms
Sort
View
ICSM
2007
IEEE
16 years 20 days ago
JTourBus: Simplifying Program Understanding by Documentation that Provides Tours Through the Source Code
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
Christopher Oezbek, Lutz Prechelt
OOPSLA
2005
Springer
15 years 12 months ago
Using dependency models to manage complex software architecture
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jac...
DDECS
2009
IEEE
128views Hardware» more  DDECS 2009»
16 years 1 months ago
A fast untestability proof for SAT-based ATPG
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
Daniel Tille, Rolf Drechsler
APWEB
2007
Springer
16 years 16 days ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
GMP
2010
IEEE
177views Solid Modeling» more  GMP 2010»
15 years 11 months ago
Eigenmodes of Surface Energies for Shape Analysis
In this work, we study the spectra and eigenmodes of the Hessian of various discrete surface energies and discuss applications to shape analysis. In particular, we consider a physi...
Klaus Hildebrandt, Christian Schulz, Christoph von...