Sciweavers

532 search results - page 31 / 107
» A Semiotic Approach to UML models
Sort
View
JCSS
2011
154views more  JCSS 2011»
13 years 2 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
CAISE
2009
Springer
14 years 2 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
HASE
1999
IEEE
13 years 12 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
UML
2005
Springer
14 years 1 months ago
UML Model Mappings for Platform Independent User Interface Design
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
Tim Schattkowsky, Marc Lohmann
JOT
2010
96views more  JOT 2010»
13 years 6 months ago
UML Profiles for Modeling Real-Time Communication Protocols
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
Barath Kumar, Jürgen Jasperneite