Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-02-27
2007-02-27
Bullock, Jr., Lewis A. (Department: 2195)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S141000
Reexamination Certificate
active
09959892
ABSTRACT:
A method is specified for comparing two specifications which each comprise at least two processes, each of which includes at least two events. A first comparison between the two specifications is carried out with regard to the sequence of the events in the processes, and a second comparison between the two specifications is carried out, taking account of the relationships between events in different processes.
REFERENCES:
patent: 5481717 (1996-01-01), Gaboury
patent: 5649180 (1997-07-01), Danno et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6275976 (2001-08-01), Scandura
patent: 6557146 (2003-04-01), Bormann et al.
patent: 2005/0160410 (2005-07-01), Narisawa et al.
Zave et al., “Where Do Operations Come From ? A Multiparadigm Specification Technique”, IEEE Transactions on Software Engineering, IEEE Inc. New York, US, vol. 22, No. 7, Jul. 1996, pp. 508-528.
van Hee et al., “Proofs: Application Engineering Based on Formal Methods”, Microprocessing and Microprogramming 35, Amsterdam, NL, Nos. 1/5, Sep. 1992, pp. 29-36.
Nuseibeh et al., “A Framework for Expressing the Relationships Between Multiple Views in Requirements Specificatioin”, IEEE Transaction on Software Engineering, New York, US, vol. 20, No. 10 Oct. 1994, pp. 760-773.
Kim et al., “A New Verification Framework of Object-Oriented Design Specification for Small Scale Software”, IEICE Trans. Inf. & Syst., vol. E80-D, No. 1 Jan. 1997, pp. 51-56.
Reif, “Software-Verifikation und ihre Anwendungen”, it+ti—Informationstechnik und Technische Informatik, pp. 34-40.
Tai et al., “Testing of Distributed Programs”, Parallel and Distributed Computing, Chapter 23, 1995, pp. 955-978.
Bullock, Jr. Lewis A.
Siemens Aktiengesellschaft
Staas & Halsey , LLP
LandOfFree
Method, system and computer program for comparing a first... 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, system and computer program for comparing a first..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, system and computer program for comparing a first... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3809283