Sciweavers

4628 search results - page 80 / 926
» Eliciting information for product modeling using process mod...
Sort
View
CAISE
1997
Springer
13 years 12 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
JSS
2008
113views more  JSS 2008»
13 years 7 months ago
A model for software rework reduction through a combination of anomaly metrics
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
Lars-Ola Damm, Lars Lundberg, Claes Wohlin
MODELS
2007
Springer
14 years 1 months ago
Model-Based Run-Time Error Detection
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
Jozef Hooman, Teun Hendriks
QI
2009
Springer
123views Physics» more  QI 2009»
14 years 2 months ago
Hilbert Space Models Commodity Exchanges
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
Paul Cockshott
WSC
2007
13 years 10 months ago
Improved simple simulation models for semiconductor wafer factories
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
Oliver Rose