1613 search results - page 241 / 323 » Model-Driven Constraint Engineering |
160
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
159
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
102
click to vote
IJHCI
2010
15 years 2 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
154
click to vote
APSCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
The modern Web architecture basically follows the Representational State Transfer (REST) style. This style offers the architectural properties necessary to implement the Internetsc...