Sciweavers

2242 search results - page 25 / 449
» From testing to anti-product development
Sort
View
APCCM
2008
13 years 9 months ago
A Practical Guide to Testing the Understandability of Notations
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
Susanne Patig
CIKM
2008
Springer
13 years 9 months ago
Coreex: content extraction from online news articles
We developed and tested a heuristic technique for extracting the main article from news site Web pages. We construct the DOM tree of the page and score every node based on the amo...
Jyotika Prasad, Andreas Paepcke
APCHI
2004
IEEE
13 years 11 months ago
The Degree of Usability from Selected DVD Menus and Their Navigational Systems
Abstract. The purpose of this research is to investigate the usability of DVD interfaces via their menus and navigation, inspired by Donald Norman who has had a pivotal role in use...
Guy Wood-Bradley, Malcolm Campbell
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
14 years 2 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
HASE
2002
IEEE
14 years 18 days ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri