Sciweavers

980 search results - page 26 / 196
» Modeling Domain Variability in Requirements Engineering with...
Sort
View
ISSRE
2010
IEEE
13 years 7 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
B
2007
Springer
14 years 3 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
RE
2007
Springer
14 years 3 months ago
Specifying Monitoring and Switching Problems in Context
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
Mohammed Salifu, Yijun Yu, Bashar Nuseibeh
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
14 years 5 months ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
SMR
2010
149views more  SMR 2010»
13 years 7 months ago
Capturing variability in business process models: the Provop approach
Usually, for a particular business process different variants exist. Each of them constitutes an adjustment of a reference process model to specific requirements building the proc...
Alena Hallerbach, Thomas Bauer, Manfred Reichert