Sciweavers

10 search results - page 1 / 2
» icsr 2009
Sort
View
ICSR
2009
Springer
14 years 2 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
ICSR
2009
Springer
14 years 2 months ago
Refactoring Feature Modules
Martin Kuhlemann, Don S. Batory, Sven Apel
ICSR
2009
Springer
14 years 2 months ago
Extending FeatuRSEB with Concepts from Systems Engineering
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
John M. Favaro, Silvia Mazzini
ICSR
2009
Springer
13 years 5 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...
ICSR
2009
Springer
14 years 1 days ago
Consistency Checking for Component Reuse in Open Systems
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
Peter Henderson, Matthew J. Henderson