Sciweavers

1148 search results - page 89 / 230
» WebML modelling in UML
Sort
View
ICSE
2003
IEEE-ACM
16 years 22 days ago
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
Paulo Pinheiro da Silva, Norman W. Paton
TOOLS
1999
IEEE
15 years 4 months ago
Constraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
Joseph Gil, John Howse, Stuart Kent
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 10 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
89
Voted
UML
2005
Springer
15 years 6 months ago
Modeling and Analysis of Real-Time and Embedded Systems
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
Susanne Graf, Sébastien Gérard, &Osl...
87
Voted
UML
2005
Springer
15 years 6 months ago
Practical Declarative Model Transformation with Tefkat
We present Tefkat, an implementation of a language designed specically for the transformation of MOF models using patterns and rules. The language adopts a declarative paradigm, w...
Michael Lawley, Jim Steel