Sciweavers

1709 search results - page 13 / 342
» Precise Modeling of Design Patterns
Sort
View
KBSE
2007
IEEE
15 years 6 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
86
Voted
COMPSAC
2007
IEEE
15 years 6 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
92
Voted
ICAS
2008
IEEE
151views Robotics» more  ICAS 2008»
15 years 7 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
101
Voted
ICSE
2008
IEEE-ACM
16 years 1 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
122
Voted
MBUI
2004
133views User Interface» more  MBUI 2004»
15 years 1 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...