Abstracting dependencies between software configuration items

ACM Transactions on Software Engineering and Methodology

Volumn 9, Issue 1, 2000, Pages 94-131

  Gunter, Carl A ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Abstract interpretation; Mathematical models of build dependencies; Petri nets; Software configuration management

Indexed keywords

EID: 0004734138     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/332740.332743     Document Type: Article

References (28)

1. ABADI, M., LAMPSON, B., AND LÉVY, J.-J. 1996. Analysis and caching of dependencies. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional programming (ICFP '96, Philadephia, PA, May 24-26), R. Harper and R. L. Wexelblat, Eds. ACM Press, New York, NY, 83-91.
2. ANSI/IEEE. 1987. ANSI/IEEE standard 1042-1987. Guide to software configuration management. ANSI, New York, NY.
3. BLUME, M. 1998. CM: A compilation manager.
4. BORISON, E. 1987. A model of software manufacture. In Proceedings of the IFIP International Workshop on Advanced Programming Environments (Trondheim, Norway, June 16-18), R. Conradi, T. M. Didriksen, and D. H. Wanvik, Eds. Springer-Verlag, Berlin, Germany, 197-220.
5. BRODER, A. 1993. Some applications of Rabin's fingerprinting method. In Sequences II: Methods in Communication, Security, and Computer Science, R. M. Capocelli, A. De Santis, and U. Vaccarro, Eds. Springer-Verlag, Vienna, Austria.
6. BURN, G. L., HANKIN, C., AND ABRAMSKY, S. 1986. Strictness anlaysis for higher-order functions. Sci. Comput. Program. 7, 3, 249-278.
7. CARDELLI, L. 1997. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97, Paris, France, Jan. 15-17, 1997), P. Lee, Ed. ACM Press, New York, NY, 266-277.
8. COTTAM, I. D. 1984. The rigorous development of a system version control program. IEEE Trans. Softw. Eng. SE-10, 2 (Mar.), 143-154.
9. DURASOFT. 1993. The Revision Control Engine. (Software). DuraSoft GmbH, Karlsruhe, Germany, http: //wwwipd.ira.uka.de/~RCE.
10. FELDMAN, S. I. 1978. Make: A program for maintaining computer programs. Computer Science Tech. Rep. 57. AT&T Bell Laboratories, Inc., Murray Hill, NJ. Also available in Softw. Pract. Exp. 9 (1979), pp. 255-265.
11. FELDMAN, S. I. 1978. Make: A program for maintaining computer programs. Computer Science Tech. Rep. 57. AT&T Bell Laboratories, Inc., Murray Hill, NJ. Also available in Softw. Pract. Exp. 9 (1979), pp. 255-265.
12. FOWLER, G. 1990. A case for make. Softw. Pract. Exper. 20, S1 (June 1990), 35-46.
13. GUNTER, E. L. 1988. Building HOL90 easily everywhere. In Proceedings of the 11th International Conference on Theorem Provers for Higher-Order Logics (Canberra, Australia, Sept.),
14. HANNA, C. B. AND LEVIN, R. 1993. The Vesta language for configuration management. Tech. Rep. 107. Digital Systems Research Center.
15. IEEE. 1990. IEEE Standard 828-1990: Standard for software configuration management plans. IEEE, New York, NY.
16. LEVIN, R. AND MCJONES, P. R. 1993. The Vesta approach to precise configuration of large software systems. Tech. Rep. 105. Digital Systems Research Center.
17. LIU, Y. A. 1996. Incremental computation: A semantics-based systematic transformational approach. Ph.D. Dissertation. Department of Computer Science, Cornell University, Ithaca, NY. Also appeared as 1995 Tech. Rep. TR 95-1551.
18. LIU, Y. A. 1996. Incremental computation: A semantics-based systematic transformational approach. Ph.D. Dissertation. Department of Computer Science, Cornell University, Ithaca, NY. Also appeared as 1995 Tech. Rep. TR 95-1551.
19. LIU, Y. A. AND TEITELBAUM, T. 1995. Systematic derivation of incremental programs. Sci. Comput. Program. 24, 1 (Feb. 1995), 1-39.
20. LUQI. 1990. A graph model for software evolution. IEEE Trans. Softw. Eng. 16, 8 (Aug. 1990), 916-927.
21. ORAM, A. AND TALBOTT, S. 1991. Managing Projects with Make. 2nd ed. O'Reilly and Associates.
22. PERRY, D. E. 1987. Version control in the Inscape environment. In Proceedings of the 9th International Conference on Software Engineering (Monterey, CA, Mar. 30-Apr. 2), W. E. Riddle, Ed. IEEE Computer Society Press, Los Alamitos, CA, 142-149.
23. ROCHKIND, M. J. 1975. The source code control system. IEEE Trans. Softw. Eng. SE-1, 4 (Dec.), 364-370.
24. SCHWANKE, R. W. AND KAISER, G. E. 1988. Smarter recompilation. ACM Trans. Program. Lang. Syst. 10, 4 (Oct. 1988), 627-632.
25. SHAO, Z. AND APPEL, A. W. 1993. Smartest recompilation. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93, Charleston, SC, Jan. 10-13), S. L. Graham, Ed. ACM Press, New York, NY, 439-450.
26. TICHY, W. F. 1985. RCS: A system for version control. Softw. Pract. Exper. 15, 7 (July 1985), 637-654.
27. TICHY, W. F. 1986. Smart recompilation. ACM Trans. Program. Lang. Syst. 8, 3 (July 1986), 273-291.
28. ZELLER, A. 1995. A unified version model for configuration management. SIGSOFT Softw. Eng. Notes 20, 4 (Oct. 1995), 151-160.