3799 search results - page 496 / 760 » An Engineering Approach to Formal Methods |
146
click to vote
XPU
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
190
click to vote
SEW
2006
IEEE
16 years 20 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
174
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
165
click to vote
ISPW
2005
IEEE
16 years 7 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
167
click to vote
IUI
2005
ACM
16 years 6 days ago
2005
ACM
We describe a method for predicting user intentions as part of a human-robot interface. In particular, we show that funnels, i.e., geometric objects that partition the input space...