A formal framework for on-line software version change

IEEE Transactions on Software Engineering

Volumn 22, Issue 2, 1996, Pages 120-131

  Gupta, Deepak ^a   Jalote, Pankaj ^b   Barua, Gautam ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^b INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI   (India)

Author keywords

Data flow analysis; Functional enhancement; On line software version change; Process; Reachable state; State; Validity of change

Indexed keywords

EID: 0000967507     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.485222     Document Type: Article

References (17)

1. R.S. Fabry, "How to design systems in which modules can be changed on the fly," Proc. Second Int'l Conf. Software Engineering, 1976.
2. H. Goullon, R. Isle, and K. Lohr, "Dynamic restructuring in an experimental operating system," IEEE Trans. Software Engineering, vol. 4, no. 4, July 1978.
3. I. Lee, "DYMOS: A dynamic modification system," PhD thesis, Univ. of Wisconsin, 1983.
4. M.E. Segal and O. Frieder, "Dynamic program updating: a software maintenance technique for minimizing software down-time," Software Maintenance: Research and Practice, vol. 1, no. 1, pp. 59-79, Sept. 1989.
5. O. Frieder and M.E. Segal, "On dynamically updating a computer program: from concept to prototype," J. System Software, vol. 14, no. 2, pp. 111-128, Sept. 1991.
6. D Gupta and P. Jalote, "On-line software version change using state transfer between processes," Software-Practice and Experience, vol. 23, no. 9, pp. 949-964, Sept. 1993.
7. M.E. Segal and O. Frieder, "On-the-fly program modification: systems for dynamic updating," IEEE Software, pp. 53-65, Mar. 1993.
8. J. Magee, J. Kramer, and M. Sloman, "Constructing distributed systems in Conic," IEEE Trans. Software Engineering, vol. 15, pp. 663-675, June 1989.
9. D. Perry, "The inscape environment," Proc. 11th Int'l Conf. Software Engineering, pp. 2-12, 1989.
10. J. Purtilo, "The polylith software bus," Tech. Report no. 2469, Univ. of Maryland, 1990. also to appear in ACM Trans. Programming Languages and Systems.
11. C. Hofmeister, E. White, and J. Purtilo, "Surgeon: a package for dynamically reconfigurable distributed applications," Proc. IEEE Int'l Conf. Configurable Distributed Systems, Mar. 1992.
12. J. Purtilo and C. Hofmeister, "Dynamic reconfiguration of distributed programs," IEEE Int'l Conf. Distributed Computing Systems, pp. 560-571, May 1991.
13. J. Kramer and J. Magee, "Dynamic configuration for distributed systems," IEEE Trans. Software Engineering, vol. 11, no. 4, pp. 424-436, Apr. 1985.
14. J. Kramer and J. Magee, "The evolving philosophers problem: dynamic change management," IEEE Trans. Software Engineering, vol. 16, no. 11, pp. 1,293-1,306, Nov. 1990.
15. M.R. Barbacci, D.L. Doubleday, and C.B. Weinstock, "Application-level programming," IEEE Int'l Conf. Distributed Computing Systems, pp. 458-465, 1990.
16. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
17. D. Gupta, "On-line software version change," PhD thesis, Dept. of Computer Science and Engineering, Indian Institute of Technology, Kanpur, June 1995.