Process and tool for scalable automated data field replacement

Details Process and tool for scalable automated data field replacement Process and tool for scalable automated data field replacement

1995-10-31

1998-11-17

Voeltz, Emanuel Todd

Data processing: database and file management or data structures

Database design

Data structure types

395684, 707101, G06F 1730

Patent

active

058389792

ABSTRACT:
A process and tool for scalable, almost automatic, modification of interacting computer program units comprising the identification of variables affected by seed variables of known with attributes in equivalence classes and the modification of those variables identified with the target attributes.

REFERENCES:
patent: 5293631 (1994-03-01), Rau et al.
patent: 5307492 (1994-04-01), Benson
patent: 5600836 (1997-02-01), Alter
patent: 5630118 (1997-05-01), Shaughnessy
patent: 5634089 (1997-05-01), Janniro et al.
patent: 5668989 (1997-09-01), Mao
IBM Corp., "Set the Century Window for Two-Digit Years," 1995, pp. 1-2.
IBM Corp., "Transform Two-Digit Year Dates to Four-Digit Year Dates," 1995, pp. 1-4.
A. Aho, J. Hopcroft, and J. Ullman. The Design and Analysis of Algorithms, pp. 129-145 (Addison-Wesley 1976).
Aho et al., Compilers: Principles, Techniques, and Tools, pp. 12-13, 49, 432-433, 633-636, 638-639, 643-648 (Addison-Wesley 1986).
Bernot, G. Gaudel, M-C., LeGall, P., Marre, B., "Experience with Black-Box Testing from Formal Specifications," AQuIS93 Venice, Italy, pp. 75-84(1993).
Bijlsma, A., "Calculating with Pointers," Science of Computer Programming, vol. 12, No. 2, pp. 191-205 (Jul. 1989).
Bowen, J.P., Hinchey, M.G., "Seven More Myths of Formal Methods," IEEE Software pp. 34-41 (Jul. 1995).
Clarke et al., "Software Fault Trees and Weakest Preconditions: a Comparison and Analysis," Software Eng. J., vol. 8, No. 4, pp. 225-236.
Craigen,D., Gerhart, S., Ralston, T., "Formal Methods Reality Check: Industrial Usage," IEEE Transactions of Software Engineering,pp. 90-98 (Feb. 1995).
Dijkstra, E.W., "Guarded Commands, Non-determinancy and a Calculus for the Derivation of Programs," 1975 International Conference on Reliable Software, Los Angeles, CA, Apr. 25, 1975, pp. 2-2.13.
Fenton, N., "How Effective Are Software Engineering Methods?" J. Systems Software, 22:141-46 (1993).
Ferrans, J.C. et al., "HyperWeb: A Framework for Hypermedia-Based Environments," SIGSOFT '92, Tyson's Corner, VA, Dec. 1992, pp. 1-10.
Floyd, R.W., "Assigning Meaning to Programs," Proc. Symp. on Applied Math, American Mathematical Society, vol. 19, pp. 19-32 (1967).
Gallagher, K.B. and Lyle, J.R., "Using Program Slicing in Software Maint.," IEEE Trans. on Software Engineering, vol. 17, No. 8, pp. 751-761 (Aug. 1991).
Hart, J.M., "Experience with Logical Code Analysis in Softwre Reuse and Re-Engineering," American Institute of Aeronautics and Astronautics (1995) pp. 549-558.
Hoare, C.A.R., "An Axiomatic Approach to Computer Programming," Comm. of the ACM, vol. 12, No. 10, pp. 576-583 (Oct. 1969).
Hoare, C.A.R., "Proof of Correctness of Data Representations," Acta Informatica, vol. 1, No. 4, pp. 271-281 (1972).
Horowitz, E., and Sahni, S., "Fundamentals of Data Structures," pp. 3062-3309, Computer Science Press, Inc. (1976).
Humphrey, W.S., Kitson, D.H., "Prelim. Report on Conducting SEI-Assisted Assessments of Software Engineering Capability," SEI Technical Report, SEI-87-TR-16 (Jul. 1987).
Livadas, P.E. and Croll, S., "A New Algorithm for the Calculation of Transitive Dependencies," Software Maint: Research and Pract., vol. 7, pp. 151-176 (1995).
Manna, Z., Waldinger, R., "Problematic Features of Programming Languages: A Situational Calculus Appraoch," Acta Informatica, Vol. 16, pp. 371-426 (1981).
Misra, J. Safety Properties, U. of Texas, Austin Report (1992).
Pizzarello, A., "Formal Methods in Corrective Software Maintenance," Proc. of Formal Methods for Software Development, an International Seminar, AICA, Milan, Italy (1992).
Pizzarello, A., "An Industrial Experience in the Use of Unity," Lecture Notes in Computer Science, Springer-Berlag 574 (1991).
Pizzarello, A., "New Method for Location of Software Defects," AQuIS93, Venice, Italy, Oct. 1993, pp. 143-156.
Pizzarello, A., et al., Program Maintenance Techniques, Lecture Notes, Peritus Software Services, Inc., Billerica, MA (Aug. 25, 1995).
Shahmehri et al., "Semi-Automatic Bug Localization in Software Maintenance," IEEE Comp. Soc. Press, pp. 30-36.
Sharir, M., "Structural Analysis: A New Approach to Flow Analysis in Optimizing Compilers," Computer Languages, vol. 5, pp. 141-153 (1980).
Staskauskas, M., "Specification and Verification of Large-Scale Reactive Programs," Ph.D. Thesis, U. of Texas, Austin (May 1992).
Ward, M., "Abstracting a Specification from Code," Software Maintenance: Research and Practice, vol. 5, 101-22 (1993).
Ward, M.P. et al., "Formal Methods for Legacy Systems," Software Maintenance: Research and Practice, vol. 7, 203-19 (1995).
Weiser, M., "Programmers Use Slices When Debugging," Communications of Assoc. Comput. Mach., vol. 25, No. 7, pp. 446-452 (1982).
Wiser, M., Program Slicing, IEEE Transactions on Software Engineering, vol. SE-10 No. 4, pp. 352-357 (1984).

Affiliated with

Also associated with

Rating

Process and tool for scalable automated data field replacement does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Process and tool for scalable automated data field replacement, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Process and tool for scalable automated data field replacement will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-895792