My read on this:
formal theory = vague specification document
machine readable format of formal theory = code
auto-generation of the program = compile or interpret the code
which is just what we all do all the time. It's when you try to pile
too many layers of this on top of each other that you get into trouble.
-Mike
On 02/21/2014 01:54 PM, Costello, Roger L. wrote:
> Hi Folks,
>
> I wrote a short 2-page paper describing how to create applications with a strong formal underpinning:
>
> http://xfront.com/How-to-Build-Applications-with-a-Sound-Foundation.pdf
>
> Have you followed this approach in creating XML applications?
>
> /Roger
>
> _______________________________________________________________________
>
> XML-DEV is a publicly archived, unmoderated list hosted by OASIS
> to support XML implementation and development. To minimize
> spam in the archives, you must subscribe before posting.
>
> [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
> Or unsubscribe:
> subscribe:
> List archive: http://lists.xml.org/archives/xml-dev/
> List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
