Sciweavers

676 search results - page 14 / 136
» A Visualization Framework for Task-Oriented Modeling Using U...
Sort
View
HASE
2007
IEEE
15 years 3 months ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
15 years 3 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels
ER
2007
Springer
127views Database» more  ER 2007»
15 years 1 months ago
A UML Profile for Modeling Data Warehouse Usage
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
Veronika Stefanov, Beate List
EEE
2005
IEEE
15 years 3 months ago
Web System Trace Model Using a Web Application Architecture Framework
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
Xiaoying Kong, Li Liu, David Lowe
96
Voted
APCCM
2006
14 years 11 months ago
On the suitability of UML 2.0 activity diagrams for business process modelling
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...