Sciweavers

1709 search results - page 13 / 342
» Precise Modeling of Design Patterns
Sort
View
KBSE
2007
IEEE
14 years 3 months ago
A framework and tool supports for testing modularity of software design
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
Yuanfang Cai, Sunny Huynh, Tao Xie
COMPSAC
2007
IEEE
14 years 4 months ago
A model-driven framework for representing and applying design patterns
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...
Ghizlane El-Boussaidi, Hafedh Mili
ICAS
2008
IEEE
151views Robotics» more  ICAS 2008»
14 years 4 months ago
A Transformational Approach for Pattern-Based Design of User Interfaces
A pattern-based approach to user interface development is presented that is explicitly based on artifacts contained in a task and a domain models. Exploiting a task model or a dom...
Costin Pribeanu, Jean Vanderdonckt
ICSE
2008
IEEE-ACM
14 years 10 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
MBUI
2004
133views User Interface» more  MBUI 2004»
13 years 11 months ago
From Models to Interactive Systems Tool Support and XIML
user interface application model dialogue model Design Design Transformation by patterns Transformation by patterns class diagram task model l use model b.-object model device mod...
Peter Forbrig, Anke Dittmar, Daniel Reichart, Dani...