Sciweavers

3069 search results - page 258 / 614
» Issues with the construct of quality
Sort
View
JUCS
2008
186views more  JUCS 2008»
15 years 6 months ago
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
George Edwards, Chiyoung Seo, Nenad Medvidovic
TVCG
2008
125views more  TVCG 2008»
15 years 6 months ago
Generic Remeshing of 3D Triangular Meshes with Metric-Dependent Discrete Voronoi Diagrams
In this paper, we propose a generic framework for 3D surface remeshing. Based on a metric-driven Discrete Voronoi Diagram construction, our output is an optimized 3D triangular mes...
Sébastien Valette, Jean-Marc Chassery, R&ea...
JAR
2000
77views more  JAR 2000»
15 years 6 months ago
Proving Consistency Assertions for Automotive Product Data Management
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
Wolfgang Küchlin, Carsten Sinz
JSS
2002
101views more  JSS 2002»
15 years 6 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
TCAD
1998
161views more  TCAD 1998»
15 years 6 months ago
Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions
— Ordered Kronecker functional decision diagrams (OKFDD’s) are a data structure for efficient representation and manipulation of Boolean functions. OKFDD’s are a generalizat...
Rolf Drechsler, Bernd Becker