Sciweavers

1213 search results - page 63 / 243
» Traceability for System Families
Sort
View
GI
2008
Springer
15 years 29 days ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat
JSAT
2006
87views more  JSAT 2006»
14 years 12 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
STACS
2009
Springer
15 years 6 months ago
On Local Symmetries and Universality in Cellular Automata
Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours an...
Laurent Boyer, Guillaume Theyssier
VAMOS
2007
Springer
15 years 6 months ago
Variability Models Must Not be Invariant!
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
Elmar Jürgens, Markus Pizka
EUMAS
2006
15 years 1 months ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...