Integrated model checking and issue resolution framework

Details Integrated model checking and issue resolution framework Integrated model checking and issue resolution framework

2007-10-29

2011-11-29

Wang, Philip (Department: 2197)

Data processing: software development, installation, and managem

Software program development tool

Modeling

Reexamination Certificate

active

08069434

ABSTRACT:
A plurality of constraints are identified for a model of a software deployment in an integrated development environment. Each of the constraints are associated with one of a plurality of analysis levels. It is determined for each analysis level whether the corresponding associated constraints are met so that an identification indicating the same may be provided. Related techniques, apparatus, systems, and articles are described.

REFERENCES:
patent: 2004/0199572 (2004-10-01), Hunt et al.
patent: 2005/0166167 (2005-07-01), Ivancic et al.
patent: 2006/0282806 (2006-12-01), Cadambi et al.
patent: 2007/0250811 (2007-10-01), Ahs et al.

Affiliated with

Also associated with

Rating

Integrated model checking and issue resolution framework does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Integrated model checking and issue resolution framework, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Integrated model checking and issue resolution framework will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4310340