9006 search results - page 1286 / 1802 » Modeling Software |
201
click to vote
ICCBSS
2004
Springer
16 years 14 days ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
163
click to vote
SEKE
2004
Springer
16 years 13 days ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
174
click to vote
FORMATS
2003
Springer
16 years 9 days ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
161
click to vote
ICCBSS
2003
Springer
16 years 9 days ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
185
click to vote
COMPIMAGE
2010
Springer
16 years 6 days ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...