Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2011-02-08
2011-02-08
Pham, Thomas K (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S127000, C717S131000, C717S136000, C717S151000, C717S154000
Reexamination Certificate
active
07886273
ABSTRACT:
Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.
REFERENCES:
patent: 6697965 (2004-02-01), Shimada
patent: 7316005 (2008-01-01), Qadeer et al.
patent: 2002/0100014 (2002-07-01), Iborra et al.
Gracanin Denis
Hinchey Michael G.
Rash James L.
Rouff Christopher A.
Sterritt Roy
Goo Heather
Pham Thomas K
The United States of America as represented by the Administrator
LandOfFree
Systems, methods and apparatus for generation and... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems, methods and apparatus for generation and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems, methods and apparatus for generation and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2631197