Computer graphics processing and selective visual display system – Display driving control circuitry – Controlling the condition of display elements
Patent
1996-11-12
1999-05-25
Hafiz, Tariq R.
Computer graphics processing and selective visual display system
Display driving control circuitry
Controlling the condition of display elements
395683, 345337, 345347, 345333, 345339, 345967, 434350, G06F 944
Patent
active
059077069
ABSTRACT:
Modeling a system using object-oriented programming tools is enhanced using a monitor built into the programming tool. The monitor can monitor in the background or in real time. Programming times are reduced and efficiency of code generation is increased by the interactive modeling agent monitoring the ongoing efforts of a user and interactive with the user through the use of windows and suggestive text on how to better use the programming language, tools, and constructs to create a better resulting model and program.
REFERENCES:
patent: 4845665 (1989-07-01), Heath et al.
patent: 4964077 (1990-10-01), Eisen et al.
patent: 5247651 (1993-09-01), Clarisse
patent: 5257363 (1993-10-01), Shapiro et al.
patent: 5315709 (1994-05-01), Alston, Jr. et al.
patent: 5325533 (1994-06-01), McInerney et al.
patent: 5327529 (1994-07-01), Fults et al.
patent: 5390320 (1995-02-01), Smithline
patent: 5390330 (1995-02-01), Talati
patent: 5421015 (1995-05-01), Khoyi et al.
patent: 5434965 (1995-07-01), Matheny et al.
patent: 5437037 (1995-07-01), Furuichi
patent: 5475817 (1995-12-01), Waldo et al.
patent: 5499371 (1996-03-01), Henninger et al.
patent: 5515497 (1996-05-01), Itri et al.
patent: 5528503 (1996-06-01), Moore et al.
patent: 5537630 (1996-07-01), Berry et al.
patent: 5542040 (1996-07-01), Chang et al.
patent: 5555365 (1996-09-01), Selby et al.
patent: 5557518 (1996-09-01), Rosen
patent: 5727950 (1998-03-01), Cook et al.
patent: 5732271 (1998-03-01), Berry et al.
Citrin, Wayne, et al., "Using Formalized Temporal Message-flow Diagrams," Software-Practice and Experience, vol. 25, No. 12, pp. 1367-1401, Dec. 1995.
Coats, Mark, et al., "Constructing Operational Specifications," Dr. Dobb's Journal of Software Tools for Professional Programmer, vol. 20, No. 6, pp. 18-33, Jun. 1995.
De Man, Josef, et al., "Towards a formal Semantics of Message Sequence Charts", SDL 93 Using Objects. Proceedings of the Sixth SDL Forum 1993, pp. 157-165, 1993.
De Man, Jozef, et al., "Developing Formal Specifications with Message Sequence Charts", XIV International Switching Symposium, vol. 2, pp. 134-137, Oct. 1992.
Ek, Anders, "Verifying Message Sequence Charts with the SDT Validator," SDL '93, Using Objects, Proceedings of the Sixth SDL Forum 1993, pp. 237-249.
Grabowski, Jens, et al., "The Standardization of Message Sequence Charts," Proceedings 1993: Software Engineering Standards Symposium, pp. 48-63, 1993.
Graubmann, Peter, et al., "Towards a Petri Net Based Semantics Definition for Message Sequence Charts,"SDL 93: Using Objects, pp. 179-190, 1993.
Hadzilacos, Thanasis, et al., "Transaction Synchronisation in Object Bases", Journal of Computer and System Sciences, vol. 43, pp. 2-24, 1991.
Ito, Atsushi, et al., "Transformation Technique Between Specification in SDL and Specification in Message Sequence Charts for Designing Protocol Specifications," Supercomm/ICC '92: Discovering a New World of Communications, IEEE vol. 1, pp. 0442-0447, 1992.
Ladkin, Peter B., et al., "What do Message Sequence Charts Mean?", IFIP Trans., C, Commun. Syst., vol. C, No. 22, pp. 301-316, 1994.
Ladkin, Peter B., et al., "Interpreting Message Flow Graphs," Formal Aspects of Computing 1995, vol. 7, No. 5, pp. 473-509, 1995.
Mauw, S., et al., "An Algebraic Semantics of Basic Message Sequence Charts," The Computer Journal, vol. 37, No. 4, pp. 269-277, 1994.
Mauw, S., et al., "A Formal Semantics of Synchronous Interworkings," SDL '93 Using Objects: Proceedings of the Sixth SDL Forum 1993, pp. 167-178.
Moriyasu, Kenji, et al., "A Method of Applying Message Sequence Chart Specifications for Services with Variant Process Structure," Electronics and Communications in Japan, Part 1, vol. 78, No. 9, pp. 12-24, 1995.
Okamoto, Mitsuhiro, et al., "A Verification Scheme for Service Specifications Described by Information Sequence Charts," IEICE Trans. Commun., vol. E75-B, No. 10, pp. 978-985, Oct. 1992.
Thrampoulidis, K.X., et al., "Object Interaction Diagram: A New Technique in Object-oriented Analysis and Design," Journal of Object-Oriented Programming, vol. 8, No. 3, pp. 25-32, Jun. 1995.
Banerji et al. "The Substrate Object Modeland Architecture", IEEE, 1993, pp. 31-40, Dec. 10, 1993.
Brodsky Stephen Andrew
Lau Rebecca Mei-Har
Dam Tuan Q.
Hafiz Tariq R.
International Business Machines - Corporation
LandOfFree
Interactive modeling agent for an object-oriented system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Interactive modeling agent for an object-oriented system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interactive modeling agent for an object-oriented system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-407865