Re: Design Methodologies

1998-02-03 Thread Fergus Henderson
On 02-Feb-1998, Richard Emberson [EMAIL PROTECTED] wrote: I am investigating whether an organization can build large applications ( 50Kloc - thats c++ lines of code) using a functional language, specifically Haskell. Since 1993 I've been working on what is now a 150Kloc project written in

Re: Design Methodologies

1998-02-02 Thread Philip Wadler
What I am looking for are the formal design methods and tools supporting those methods that lead one through the task of decomposing a problem (possibly specified in a requirements document) into a design that can be used as the starting point for coding with a functional language. The

Design Methodologies

1998-02-02 Thread Richard Emberson
I am investigating whether an organization can build large applications ( 50Kloc - thats c++ lines of code) using a functional language, specifically Haskell. I was told by another that a "very famous software engineering researcher" had said that the reason there was no emphasis on the use of