Sciweavers

1213 search results - page 128 / 243
» Refactoring UML Models
Sort
View
135
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
115
Voted
UML
2005
Springer
15 years 9 months ago
Extending the Boundaries of Model-Based Development to Account for Errors
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
Sandra Basnyat, Rémi Bastide, Philippe A. P...
125
Voted
UML
2005
Springer
15 years 9 months ago
Tool Support for Model-Based Generation of Advanced User Interfaces
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
Andreas Wolff, Peter Forbrig, Daniel Reichart
141
Voted
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 8 months ago
Aspect-oriented modeling of adaptive web applications with HiLA
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
Gefei Zhang
120
Voted
EDO
2000
Springer
15 years 7 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh