Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The Choice Calculus: A Representation for Software Variation

The Choice Calculus: A Representation for Software Variation The Choice Calculus: A Representation for Software Variation MARTIN ERWIG and ERIC WALKINGSHAW, Oregon State University Many areas of computer science are concerned with some form of variation in software ”from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, lling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the de nition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools. Categories and Subject Descriptors: D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement ”Extensibility, version control; D.2.9 [Software Engineering]: Management ”Software con guration management; D.3.1 [Programming Languages]: Formal De nitions and Theory General Terms: Languages, Theory Additional Key Words and Phrases: Variation, representation ACM Reference Format: Erwig, M. and Walkingshaw, E. 2011. The choice calculus: A representation for software variation. ACM Trans. Softw. Eng. Methodol. 21, 1, Article 6 (December 2011), 27 pages. DOI = 10.1145/2063239.2063245 http://doi.acm.org/10.1145/2063239.2063245 1. INTRODUCTION Effectively dealing with variation http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Software Engineering and Methodology (TOSEM) Association for Computing Machinery

The Choice Calculus: A Representation for Software Variation

Loading next page...
 
/lp/association-for-computing-machinery/the-choice-calculus-a-representation-for-software-variation-D9yWzGoPyF

References (42)

Publisher
Association for Computing Machinery
Copyright
Copyright © 2011 by ACM Inc.
ISSN
1049-331X
DOI
10.1145/2063239.2063245
Publisher site
See Article on Publisher Site

Abstract

The Choice Calculus: A Representation for Software Variation MARTIN ERWIG and ERIC WALKINGSHAW, Oregon State University Many areas of computer science are concerned with some form of variation in software ”from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, lling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the de nition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools. Categories and Subject Descriptors: D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement ”Extensibility, version control; D.2.9 [Software Engineering]: Management ”Software con guration management; D.3.1 [Programming Languages]: Formal De nitions and Theory General Terms: Languages, Theory Additional Key Words and Phrases: Variation, representation ACM Reference Format: Erwig, M. and Walkingshaw, E. 2011. The choice calculus: A representation for software variation. ACM Trans. Softw. Eng. Methodol. 21, 1, Article 6 (December 2011), 27 pages. DOI = 10.1145/2063239.2063245 http://doi.acm.org/10.1145/2063239.2063245 1. INTRODUCTION Effectively dealing with variation

Journal

ACM Transactions on Software Engineering and Methodology (TOSEM)Association for Computing Machinery

Published: Dec 1, 2011

There are no references for this article.