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

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 d

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