Systems, methods and apparatus for implementation of formal...

Data processing: software development – installation – and managem – Software program development tool – Translation of code

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-4210541

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.