The very idea of software development environments: a conceptual architecture for the arts' environment paradigm

For the last three years the authors have been building an instantiation of a system 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. They assert that these models are directly applicable to the domain of software and systems construction, and that, from them, one can derive principles and explanations for what a software development environment should be. They present briefly 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 version of ARTS realises this conceptual architecture.

[1]  Walter G. Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History , 1990 .

[2]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[3]  A. Tarski,et al.  Logic, Methodology and Philosophy of Science Proceedings of the 1960 International Congress , 1962 .

[4]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[5]  Frederick Suppe,et al.  The Structure of Scientific Theories. , 1979 .

[6]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[7]  Thomas A. Henzinger,et al.  Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[8]  Hilary Putnam,et al.  What Theories are Not , 1966 .

[9]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[10]  W. Stegmüller.  Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie , 1974 .

[11]  G. F. C. Rogers,et al.  The Nature of Engineering , 1983 .

[12]  Wolfgang Balzer,et al.  An architectonic for science , 1987 .

[13]  H. Feigl,et al.  Minnesota studies in the philosophy of science , 1956 .

[14]  T. S. E. Maibaum,et al.  A Theory of Abstract Data Types for Program Development: Bridging the Gap? , 1985, TAPSOFT, Vol.2.

[15]  M. M. Lehman,et al.  Another look at software design methodology , 1984, SOEN.

[16]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[17]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[18]  James R. Cordy,et al.  TXL: A Rapid Prototyping System for Programming Language Dialects , 1991, Comput. Lang..

[19]  Mary Hesse,et al.  Models and analogies in science , 1970 .

[20]  John Daniels,et al.  Designing Object Systems , 1994 .

[21]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[22]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[23]  F. Suppe.  The Structure of Scientific Theories. , 1975 .

[24]  Armando M. Haeberer,et al.  A Semantic Approach to the Solution of the Legacy , 1997 .

[25]  Manfred Broy,et al.  Program Development as a Formal Activity , 1981, IEEE Transactions on Software Engineering.

[26]  Władysław Turski,et al.  The specification of computer programs , 1987 .

[27]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

[28]  R. Carnap.  The methodological character of theoretical concepts , 1956 .

[29]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[30]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .