Systems, methods and apparatus for implementation of formal specifications derived from informal requirements

[摘要] 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.

[发布日期] 2010-06-15

[学科分类] 软件