Sciweavers

748 search results - page 61 / 150
» Applying WinWin to Quality Requirements: A Case Study
Sort
View
CBSQ
2003
Springer
14 years 2 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
HCI
2009
13 years 6 months ago
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
Heather Desurvire, Charlotte Wiberg
ASWEC
2007
IEEE
14 years 3 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
EDOC
2007
IEEE
14 years 3 months ago
An Analysis Framework for Mobile Workforce Automation
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
Volker Gruhn, André Köhler
INTERACT
1997
13 years 10 months ago
Methods for Measuring Usability
The tutorial explains the benefits of measuring usability as part of a user-centred design process, and introduces the participants to the methodology for usability measurement dev...
Nigel Bevan, Ian Curson