Sciweavers

3024 search results - page 245 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
ICSE
2012
IEEE-ACM
13 years 9 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
ICSE
2005
IEEE-ACM
16 years 6 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
ICESS
2005
Springer
16 years 2 days ago
Ahead of Time Deployment in ROM of a Java-OS
This article shows how it is possible to place a great part of a Java system in read-only memory in order to fit with the requirements of tiny devices. Java systems for such devic...
Kevin Marquet, Alexandre Courbot, Gilles Grimaud
WSC
2008
15 years 9 months ago
A simulation framework for assessing the performance of cooperative transportation planning algorithms
In this paper, we suggest a framework that allows for the simulation-based performance assessment of algorithms for cooperative transportation planning. Therefore, we consider a c...
Ralf Sprenger, Lars Mönch
AEI
2007
52views more  AEI 2007»
15 years 6 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price