Consumer Preferences for Mass Customization

Increasingly, firms allow consumers to mass customize their products. In this study, the authors investigate consumers’ evaluations of different mass customization configurations when asked to mass customize a product. For instance, mass customization configurations may differ in the number of modules that may be mass customized. The authors find – in the context of mass customization of personal computers – that mass customization configuration affects the product utility consumers can achieve in mass customization as well as their perception of mass customization complexity. In turn, product utility and complexity affect the utility consumers derive from using a certain mass customization configuration. More specifically, product utility has a positive, and complexity has a negative effect on mass customization configuration utility. The effect of complexity is direct as well as indirect, because complexity also lowers product utility. The authors also find that consumers with high product expertise find mass customization configurations less complex than consumers with low product expertise and that for more expert consumers complexity has a less negative impact on product utility. The study has important managerial implications for how companies can design their mass customization configuration to increase utility and decrease complexity.marketing ;

Extending ACL2 with SMT Solvers

We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. We are particularly interested in the verification of physical systems including Analog and Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for reasoning about sequences and SMT complements deduction methods like ACL2 with fast nonlinear arithmetic solving procedures. While SAT solvers have been integrated into ACL2 in previous work, SMT methods raise new issues because of their support for a broader range of domains including real numbers and uninterpreted functions. This paper presents Smtlink, our clause processor for integrating SMT solvers into ACL2. We describe key design and implementation issues and describe our experience with its use.Comment: In Proceedings ACL2 2015, arXiv:1509.0552

Team-oriented process programming

Team-oriented process programming promises to provide significant support for the planning, directing, and controlling of software engineering projects. In this paper we apply process programming to software engineering teams and show how this can provide powerful new capabilities for the management of software projects. We identify key issues which must be addressed to apply process programming to teams, and present our vision for team-oriented process programming