Sciweavers

900 search results - page 29 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
14 years 1 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...
ISORC
2000
IEEE
13 years 11 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
SAC
2006
ACM
13 years 7 months ago
Transformation of B specifications into UML class diagrams and state machines
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
UML
2004
Springer
14 years 1 months ago
Modeling Business Processes in Web Applications with ArgoUWE
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Mar...
ER
2005
Springer
135views Database» more  ER 2005»
14 years 1 months ago
A UML 2 Profile for Business Process Modelling
Abstract. Current UML Profiles for Business Process Modelling realise a narrow focus of the process, and capture the process flow on a low level of detail. They do not provide a co...
Beate List, Birgit Korherr