Sciweavers

238 search results - page 6 / 48
» Modification analysis support at the requirements level
Sort
View
TSE
1998
129views more  TSE 1998»
13 years 7 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
IV
1998
IEEE
114views Visualization» more  IV 1998»
13 years 12 months ago
Level of Data - A Concept for Knowledge Discovery in Information Spaces
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...
Miriam Lux
ICFEM
2007
Springer
14 years 1 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
EAGC
2004
Springer
13 years 11 months ago
Support for User-Defined Metrics in the Online Performance Analysis Tool G-PM
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
Roland Wismüller, Marian Bubak, Wlodzimierz F...
EOR
2006
59views more  EOR 2006»
13 years 7 months ago
Sensitivity analysis in linear optimization: Invariant support set intervals
Sensitivity analysis is one of the most interesting and preoccupying areas in optimization. Many attempts are made to investigate the problem's behavior when the input data c...
Alireza Ghaffari Hadigheh, Tamás Terlaky