CONFIGEN：用于管理配置选项的工具
CONFIGEN: A tool for managing configuration options
摘要：
本文介绍了一个有助于软件模块化的工具CONFIGEN。CONFIGEN允许开发人员通过交互式界面为其软件选择一组基本组件。然后自动生成C/汇编代码和Makefiles使用的配置文件，我们成功地将其用作复杂系统软件重构的帮助工具。CONFIGEN基于命题逻辑，其实现面临着困难的理论问题。
英文摘要：
This paper introduces CONFIGEN, a tool that helps modularizing software. CONFIGEN allows the developer to select a set of elementary components for his software through an interactive interface. Configuration files for use by C/assembly code and Makefiles are then automatically generated, and we successfully used it as a helper tool for complex system software refactoring. CONFIGEN is based on propositional logic, and its implementation faces hard theoretical problems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
