Sciweavers

483 search results - page 64 / 97
» Drawing activity diagrams
Sort
View
EDOC
2006
IEEE
14 years 2 months ago
Structural Patterns for Soundness of Business Process Models
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v...
KBSE
2000
IEEE
14 years 1 months ago
New Visual Interface for Engineering Use Case Models
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
Nikolai Mansurov, Dmitri Vasura
PTS
2008
165views Hardware» more  PTS 2008»
13 years 10 months ago
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
Farn Wang, Geng-Dian Huang
JSW
2008
163views more  JSW 2008»
13 years 8 months ago
Model-Driven User Requirements Specification using SysML
Requirements engineering is an important phase in a system's life cycle. When poorly performed, various problems may occur, such as failures, cost overrun and delays. The incr...
Michel dos Santos Soares, Jos L. M. Vrancken
IJON
2007
132views more  IJON 2007»
13 years 8 months ago
Emergence of population synchrony in a layered network of the cat visual cortex
Recently, a quantitative wiring diagram for the local neuronal network of cat visual cortex was described [T. Binzegger, R.J. Douglas, K.A.C. Martin, A quantitative map of the cir...
Jens Kremkow, Arvind Kumar, Stefan Rotter, Ad Aert...