Sciweavers

10 search results - page 1 / 2
» icsr 2009
Sort
View
89
Voted
ICSR
2009
Springer
15 years 9 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
95
Voted
ICSR
2009
Springer
15 years 9 months ago
Refactoring Feature Modules
Martin Kuhlemann, Don S. Batory, Sven Apel
113
Voted
ICSR
2009
Springer
15 years 9 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
15 years 3 days 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...
113
Voted
ICSR
2009
Springer
15 years 7 months 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