Sciweavers

110 search results - page 12 / 22
» Quality Analysis of NL Requirements: An Industrial Case Stud...
Sort
View
WSC
2007
14 years 11 months ago
Stability analysis of the supply chain by using neural networks and genetic algorithms
Effectively managing a supply chain requires visibility to detect unexpected variations in the dynamics of the supply chain environment at an early stage. This paper proposes a me...
Alfonso Sarmiento, Luis Rabelo, Ramamoorthy Lakkoj...
XPS
1997
14 years 10 months ago
Automated Diagnosis of Car-Subsystems Based on Qualitative Models
The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in t...
Peter Struss, Andreas Malik
WCRE
2003
IEEE
15 years 2 months ago
Improving Fact Extraction of Framework-Based Software Systems
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
Jens Knodel, Martin Pinzger
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 22 days ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CSMR
2006
IEEE
15 years 3 months ago
Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...
Andy Zaidman, Serge Demeyer, Bram Adams, Kris De S...