[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: How to Build Applications with a Sound Foundation
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: xml-dev-unsubscribe@lists.xml.org subscribe: xml-dev-subscribe@lists.xml.org List archive: http://lists.xml.org/archives/xml-dev/ List Guidelines: http://www.oasis-open.org/maillists/guidelines.php
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] |
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|