Sciweavers

900 search results - page 16 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
109
Voted
ICWE
2004
Springer
15 years 5 months ago
Modeling the Structure of Web Applications with ArgoUWE
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
Alexander Knapp, Nora Koch, Gefei Zhang
104
Voted
ISSRE
2000
IEEE
15 years 4 months ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 5 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
EDOC
2011
IEEE
13 years 11 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
TAMODIA
2007
15 years 25 days ago
From Task to Dialog Model in the UML
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
Jan Van den Bergh, Karin Coninx