19. The computer-readable non-volatile memory of claim 3 wherein said computer-readable instructions cause said computer to carry out a process which converts said user input into data structures wherein said data structures define the functionality of said conceptual model in terms of services which change the state of a system implemented by said target program, said services being events or local or global transactions, and wherein events are defined as the smallest execution units possible in the scope of a class within said object model in that it is not possible to decompose an event into more elementary execution units, and wherein said local or global transactions are molecular execution units that have their functionality defined in terms of a sequence and/or alternation of other services each of which can be either an event or transaction, and wherein the functionality of a local or global transaction is explicitly defined by a data structure which defines a formula which expresses which services the transaction encompasses and the value assigned to every argument of every service comprising the transaction, and wherein said data structures which define local transactions limit the effect of a local transaction to affecting the state of primarily an instance of the class owning said transaction and potentially instances of classes related with the class owning said transaction, and wherein global transactions are not limited to affecting the state of only one instance of a class and can affect the state of any instance or set of instances of any class or set of classes; and wherein said user interface mechanisms provide tools by which a user of said CASE tool editor can enter user input data which defines valuations for said functional model, where each valuation is a primitive relating a variable attribute and an event of a class and defines how the occurrence of said event affects the value of said variable attribute thereby explicitly defining the functionality of said event.
3. A computer-readable non-volatile memory having stored thereon computer-readable instructions which, when executed by a computer cause said computer to carry out the following process to provide a CASE tool editor: provide user interface mechanisms of a CASE tool editor which allow users of said CASE tool editor to enter user input data, and converting said user input data to data structures which define primitives of a conceptual model which defines the functionality and user interface of a target computer program to be automatically written, said conceptual model comprising an object model comprising one or more classes of objects which have attributes the state of which collectively define the state of the system, and a dynamic model, and a functional model and a presentation model; automatically converting said data structures of said conceptual model into statements according to the syntax and semantics of a formal language, said collection of formal language statements defining a formal language specification which defines the functionality of a computer program.