Sciweavers

22 search results - page 3 / 5
» Dialog-based protocol: an empirical research method for cogn...
Sort
View
SEFM
2007
IEEE
13 years 11 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
JSS
2007
174views more  JSS 2007»
13 years 5 months ago
Lessons from applying the systematic literature review process within the software engineering domain
A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order...
Pearl Brereton, Barbara A. Kitchenham, David Budge...
INFSOF
2010
146views more  INFSOF 2010»
13 years 2 months ago
Links between the personalities, views and attitudes of software engineers
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...
ICSE
2012
IEEE-ACM
11 years 7 months ago
On the naturalness of software
—Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like English and Tamil, by masters like Shakespeare and Avvaiya...
Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabe...
UIST
2006
ACM
13 years 11 months ago
Using a low-cost electroencephalograph for task classification in HCI research
Modern brain sensing technologies provide a variety of methods for detecting specific forms of brain activity. In this paper, we present an initial step in exploring how these tec...
Johnny Chung Lee, Desney S. Tan