Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2005-08-12
2010-06-15
Bullock, Jr., Lewis A (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S117000, C717S106000, C717S146000, C706S922000, C706S056000, C706S060000, C706S046000, C706S047000
Reexamination Certificate
active
07739671
ABSTRACT:
Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.
REFERENCES:
patent: 5101491 (1992-03-01), Katzeff
patent: 5485615 (1996-01-01), Wennmyr
patent: 5815713 (1998-09-01), Sanders
patent: 6408431 (2002-06-01), Heughebaert et al.
patent: 6681383 (2004-01-01), Pastor et al.
patent: 6684388 (2004-01-01), Gupta et al.
patent: 6772409 (2004-08-01), Chawla et al.
patent: 2002/0100014 (2002-07-01), Iborra et al.
patent: 2003/0110472 (2003-06-01), Alloing et al.
patent: 2004/0015832 (2004-01-01), Stapp et al.
patent: 2004/0064804 (2004-04-01), Daniels et al.
patent: 2004/0073899 (2004-04-01), Luk et al.
patent: 2004/0143814 (2004-07-01), de Jong
patent: 2004/0230945 (2004-11-01), Bryant et al.
patent: 2004/0233232 (2004-11-01), Iborra et al.
patent: 2005/0010895 (2005-01-01), Reddappagari
patent: 2005/0050513 (2005-03-01), Motoyama et al.
Author: Hähnle et al.; Title: “An Authoring Tool for Informal and Formal Requirements Specifications”; Date: 2002; URL: http://www.springerlink.com/content/9b5wu2v0ea0Inyrb/fulltext.pdf.
Author: Moulding et al.; Title: “Combining formal specification and CORE: an experimental investigation”; Date: Mar. 1995; URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=373906&isnumber=8550.
Author: JavaWorld.com; Title: “Run the Java program without the JDK runtime? Yes you can! (Apr. 20, 1999)”; URL: http://www.javaworld.com/javaworld/javaqa/1999-04/03-noruntime.html.
Author: Jackson et al.; Title: “Automated support for the development of formal object-oriented requirements specifications”; Date: 1994; URL: http://www.springerlink.com/content/7385755m5jm60121/fulltext.pdf.
Author: Letelier et al.; Title: “Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program”; Date: Jan. 1, 1998; URL: http://www.springerlink.com/content/wgn3ma1ae67n3mld/fulltext.pdf.
Erickson John D.
Gracinin Denis
Hinchey Michael G.
Rash James L.
Rouff Christopher A.
Bullock, Jr. Lewis A
Goo Heather
Kelly Joseph
The United States of America as represented by the Administrator
LandOfFree
Systems, methods and apparatus for implementation of formal... 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 implementation of formal..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems, methods and apparatus for implementation of formal... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4210541