Sciweavers

84 search results - page 12 / 17
» Guiding Use Case Driven Requirements Elicitation and Analysi...
Sort
View
BPM
2008
Springer
164views Business» more  BPM 2008»
13 years 9 months ago
Analyzing Business Continuity through a Multi-layers Model
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
Yudistira Asnar, Paolo Giorgini
SIGDOC
2003
ACM
14 years 21 days ago
Scenario-based and model-driven information development with XML DITA
In this paper, I describe how I followed an end-to-end development process in the development of the user’s guide and help information for XML DITA, using scenarios to define my...
Michael Priestley
FM
2001
Springer
108views Formal Methods» more  FM 2001»
13 years 12 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
ISESE
2006
IEEE
14 years 1 months ago
A goal question metric based approach for efficient measurement framework definition
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
Patrik Berander, Per Jönsson
ICCAD
2008
IEEE
106views Hardware» more  ICCAD 2008»
14 years 4 months ago
Process variability-aware transient fault modeling and analysis
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marcul...