Sciweavers

2154 search results - page 185 / 431
» Evidence-based software production
Sort
View
VAMOS
2008
Springer
15 years 6 months ago
Weaving Aspect Configurations for Managing System Variability
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
Brice Morin, Olivier Barais, Jean-Marc Jéz&...
CHI
2002
ACM
16 years 5 months ago
An evaluation of a multiple interface design solution for bloated software
This study examines a novel interface design for heavilyfeatured productivity software. The design includes two interfaces between which the user can easily toggle: (1) an interfa...
Joanna McGrenere, Ronald Baecker, Kellogg S. Booth
129
Voted
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
15 years 11 months ago
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
Shou-Wei Chang, Kun-Yuan Hsieh, Jenq Kuen Lee
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ITCC
2005
IEEE
15 years 10 months ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...