1376 search results - page 27 / 276 » Model-Driven Software Verification |
176
click to vote
ICAS
2008
IEEE
15 years 8 months ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...
122
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
108
click to vote
EMISA
2005
Springer
15 years 7 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
99
Voted
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
122
Voted
HCI
2007
15 years 3 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...