Sciweavers

2132 search results - page 191 / 427
» Automated software winnowing
Sort
View
197
Voted
POPL
2007
ACM
16 years 4 months ago
From implementation to theory in product synthesis
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
Don S. Batory
89
Voted
IWPC
2009
IEEE
15 years 10 months ago
Enabling more precise dependency analysis in event-based systems
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
Daniel Popescu, Joshua Garcia, Nenad Medvidovic
103
Voted
FCCM
2007
IEEE
120views VLSI» more  FCCM 2007»
15 years 10 months ago
Automatic Self-Reconfiguration of System-on-Chip Peripherals
A technique is presented which allows an FPGAbased reconfigurable System-on-Chip to automatically and dynamically load hardware peripheral controllers and software device drivers ...
Neil W. Bergmann, Yi Lu 0004, John A. Williams
109
Voted
QSIC
2007
IEEE
15 years 10 months ago
Testing against Natural Language Requirements
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
Harry M. Sneed
116
Voted
SEW
2007
IEEE
15 years 10 months ago
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
Tiziana Margaria, Bernhard Steffen