During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system development environment is, in general terms, and a methodology for instantiating the paradigm for particular and specific domains of application. The motivation for and the explanation of the paradigm are derived from extant epistemological models of the method of Natural Science. We assert that these models are directly applicable to the domain of software and systems construction, and that, from them, we can derive principles and explanations for what a software development environment should be. We present a brief description of the Statement View of scientific theories, a conceptual architecture for software development environments whose rationale is given in terms of the Statement View and some examples of how the present instantiation of ARTS realises this conceptual architecture.
Armando Martin Haeberer, T. S. E. Maibaum