Sciweavers

5228 search results - page 596 / 1046
» Case Studies for Software Engineers
Sort
View
AMOST
2007
ACM
15 years 11 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...
183
Voted
IUI
2009
ACM
16 years 4 months ago
Parakeet: a demonstration of speech recognition on a mobile touch-screen device
We demonstrate Parakeet – a continuous speech recognition system for mobile touch-screen devices. Parakeet’s interface is designed to make correcting errors easy on a handheld...
Keith Vertanen, Per Ola Kristensson
185
Voted
CSSE
2008
IEEE
16 years 1 months ago
Design and Implementation of the Virtual Machine Constructing on Register
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
Weibo Xie, Fu Ting
199
Voted
ICST
2008
IEEE
16 years 1 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
SEKE
2007
Springer
16 years 1 months ago
Incremental Effort Prediction Models in Agile Development using Radial Basis Functions
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
Raimund Moser, Witold Pedrycz, Giancarlo Succi