Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICSR
2009
Springer
10 years 9 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
10 years 9 months ago
Reusing Patterns through Design Refinement
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
Jason O. Hallstrom, Neelam Soundarajan
ICSR
2009
Springer
11 years 4 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
ICSR
2009
Springer
11 years 6 months ago
A Case Study of Variation Mechanism in an Industrial Product Line
Fudan Wingsoft Ltd. developed a product Line of Wingsoft Financial Management Systems (WFMS-PL) providing web-based financial services for employees and students at universities in...
Pengfei Ye, Xin Peng, Yinxing Xue, Stan Jarzabek
ICSR
2009
Springer
11 years 6 months ago
Introducing Motivations in Design Pattern Representation
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
Luca Sabatucci, Massimo Cossentino, Angelo Susi
ICSR
2009
Springer
11 years 6 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
11 years 6 months ago
Reuse of Architectural Knowledge in SPL Development
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
Pedro O. Rossel, Daniel Perovich, M. Cecilia Basta...
ICSR
2009
Springer
11 years 6 months ago
Feature-Driven and Incremental Variability Generalization in Software Product Line
In the lifecycle of a software product line (SPL), incremental generalization is usually required to extend the variability of existing core assets to support the new or changed ap...
Liwei Shen, Xin Peng, Wenyun Zhao
ICSR
2009
Springer
11 years 6 months ago
Refactoring Feature Modules
Martin Kuhlemann, Don S. Batory, Sven Apel
ICSR
2009
Springer
11 years 6 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
books