Method and apparatus for determining colimits of hereditary...

Details Method and apparatus for determining colimits of hereditary... Method and apparatus for determining colimits of hereditary...

2005-11-08

2005-11-08

Knight, Anthony (Department: 2121)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S108000, C717S114000, C717S116000, C717S124000, C717S127000, C717S131000, C717S137000, C706S013000, C706S015000, C706S044000

Reexamination Certificate

active

06964037

ABSTRACT:
A computer-implemented method and system for determining colimits of hereditary diagrams. A user specifies a diagram of diagram and specifies performance of a colimit operation. Once the colimit is performed, the name of the colimit is added to the hereditary diagram. The described embodiment supports diagrams of diagrams, also called hierarchical diagrams.

REFERENCES:
patent: 5432942 (1995-07-01), Trainer
patent: 5485601 (1996-01-01), Ching
patent: 5729747 (1998-03-01), Tsukakoshi
patent: 6405361 (2002-06-01), Broy et al.
patent: 0 661 631 (1995-07-01), None
Kestrel Development Corporation and Kestrel Institude, “Specware 2.0.3 User's Guide” Mar. 1998.
Michael Healy “Colimits in Memory: Category Theory and Neural Systems”, International Joint Conference on Neural Networks, vol. 1, Jul. 1999 pp. 492-496.
Dusko Pavlovic, “Towards sematics of self-adaptive software”, Dec. 1999, Kestrel Institute Technical Report KES.U.99.4.
Douglas R. Smith, “Mechanizing the Development of Software”, Mar. 1999. Kestrel Institute Technical Report KES.U.99.1.
Claude Castelluccia et al. , “Generating efficient protocol code from an abstract specification”, 1997, IEEE/ACM Transactions on Networking (TON), vol. 5 issue 4, pp. 514-524□□.
Janos Sztipanovits et al. , “Self-adaptive software for signal processing”, May 1998, ACM Press, Communications of the ACM, vol. 41, issue 5, pp. 66-73.
A. Goldberg et al. , “Specification and development of parallel algorithms with the Proteus system”, 1994, AMS Press, DIMACS: Specification of Parallel Algorithms, DIMACS vol. 18, 1994, pp. 383-399.
R. Radhakrishnan, “An Extensible and Hierarchically Distributed Run-time Control System for Optimistic Discrete-Event Simulators”, 1998, Ph. D. Dissertation proposal, Department of Elec. and Comp. Eng. and Comp. Sci., Univ. of Cincinnati, Abstract, Ch. 4.
Whalen MW, Heimdahl Mats P.E., “On the requirements of High-Integrity Code Generation”, Nov. 199, Proceedings of the 4th High Assurance in Systems Engineering Workshop, Washington DC.
Englehart, M., “High quality automatic code generation for control applications”, 1994, Proceedings, IEEE/IFAC Joint Symposium on, pp. 363-367.
Jacqueline Floch, “Supporting evolution and maintenance by using a flexible automatic code generator”, Apr. 1995, Proceedings of the 17th international conference on Software engineering, pp. 211-219.
Yellamraju Srinivas et al., “Specware: Formal Support for Composing Software”, May 1995, Springer-Verlag, Proceedings of the Conference on Mathematics of Program Construction, pp. 399-422. LNCS 947.
Prashant, Waknis, et al. “A Graphical Programming Environment for Simulation of Control and Signal Processing Systems” Proceedings of the Southeast Conference, US, New York, IEEE, Apr. 12, 1992, pp. 447-450.
Shepard, T., et al. “A Visual Software Process Language” Communications of the Association for Computing Machinery, US, Association for Computing Machinery, New York, vol. 35, No. 4, Apr. 1, 1992, pp. 37-44.
Pratt, V.; Chu Spaces and their Interpretation as Concurrent Objects; (1995); pp. 1-13.
Pavlovic, D.; Chu I: cofree equivalences, dualities and ★-autonomous categories; Math. Struct. In Comp. Science (1993), vol. 11, pp. 1-24.
Pavlovic, D.; Guarded induction on final coalgebras; (1998); Elsevier Science, B.V., pp. 1-18.
Pavlovic, D. and Escardo, M.H.; Calculus in coinductive form, pp. 1-10.
Jacobs, B.; Coalgebraic Specifications and Models of deterministic Hybrid Systems; Algebraic Methods and Software Technology (1996), pp. 1-17.
Gurevich, Y.; Evolving Algebras 1993: Lipari Guide (1993), pp. 9-36.
Moggi, E.; Notions of computation and monads, pp. 1-29.
Goguen, J. and Burstall, R.; Institutions: Abstract Model Theory for Specification and Programming; Journal of the Association for Computing Machinery (1992), vol. 39, No. 1, pp. 95-146.

Affiliated with

Also associated with

Rating

Method and apparatus for determining colimits of hereditary... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for determining colimits of hereditary..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for determining colimits of hereditary... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3463745