Category talk:Formal specifications

From LiteratePrograms
Jump to: navigation, search

Theo Ruys' PhD thesis includes some discussion of literate specification using Promela and SPIN. --Allan McInnes (talk) 19:53, 20 June 2006 (PDT)

[edit] Literate programming for FDA certification?

Greetings. Our company is looking at techniques for linking formal specifications to requirements to code, as required for many types of FDA certification. Has anyone used a literate programming system like this wiki for such things? --IanOsgood 15:12, 11 May 2007 (PDT)

hijacker
hijacker
hijacker
hijacker