Sciweavers

1261 search results - page 203 / 253
» A taxonomy for identifying requirement interactions in softw...
Sort
View
KDD
2004
ACM
190views Data Mining» more  KDD 2004»
16 years 6 months ago
V-Miner: using enhanced parallel coordinates to mine product design and test data
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
Kaidi Zhao, Bing Liu, Thomas M. Tirpak, Andreas Sc...
ITNG
2008
IEEE
16 years 16 days ago
A Minimalist Visual Notation for Design Patterns and Antipatterns
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
Demis Ballis, Andrea Baruzzo, Marco Comini
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 6 months ago
Automatic annotation of multilingual text collections with a conceptual thesaurus
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
Bruno Pouliquen, Ralf Steinberger, Camelia Ignat
JECR
2000
167views more  JECR 2000»
15 years 5 months ago
Commercial Scenarios of Digital Agent Deployment: A Functional Classification
The evolution and commercialization of Web Information Systems (WIS) since 1991 has gradually shifted the focus from basic design issues to feedback analysis, visualization techni...
Arno Scharl, Christian Bauer, Marion Kaukal
VSTTE
2005
Springer
15 years 11 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...