Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-10-25
2005-10-25
Das, Chameli C. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S127000, C717S116000, C717S131000, C714S038110
Reexamination Certificate
active
06959432
ABSTRACT:
A process and a system are used to verify that an object-oriented software component described in an extended programming language behaves correctly with respect to an abstract data model and specifications of the operations that may be performed on it The process and system also verify for an assembly of components that whenever an operation on a component is invoked, the correct conditions specified for that operation and component exist, and that specified properties hold for a component of the assembly.
REFERENCES:
patent: 5390325 (1995-02-01), Miller
patent: 5555201 (1996-09-01), Dangelo et al.
patent: 5699310 (1997-12-01), Garloff et al.
patent: 6105072 (2000-08-01), Fischer
patent: 6151701 (2000-11-01), Humphreys et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6289502 (2001-09-01), Garland et al.
patent: 6336148 (2002-01-01), Doong et al.
patent: 6442748 (2002-08-01), Bowman-Amuah
patent: 6601192 (2003-07-01), Bowman-Amuah
patent: 6615199 (2003-09-01), Bowman-Amuah
patent: 6678882 (2004-01-01), Hurley et al.
patent: 6681383 (2004-01-01), Pastor et al.
patent: 6698012 (2004-02-01), Kossatchev et al.
patent: 6789252 (2004-09-01), Burke et al.
TITLE: Inheritance of Interface Specifications (Extended Abstract), author: Leavens, ACM, Aug. 1994.
TITLE: Modular Reasoning in the Presence of Subclassing, author: Stata et al, ACM, 1995.
TITLE: Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering, author, Periyasamy et al, ACM, 1996.
TITLE: OOSPEC: An Executable Object-Oriented Specification Language, author: Paryavi et al, ACM, 1995.
Castelluccia, C. et al. “Generating Efficient Protocol Code from an Abstract Specification.” IEEE/ACM Transactions on Networking, vol. 5, No. 4 (1997) pp 514-524.
Gotzhein, R. et al. “Improving the Efficiency of Automated Protocol Implementation Using Estelle.” Computer Communications 19 (1996) pp 1226-1235.
Das Chameli C.
Escher Technologies, Ltd.
Ladas & Parry
LandOfFree
Process and system for developing mathematically validated... 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 system for developing mathematically validated..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Process and system for developing mathematically validated... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3482362