Prospects for a method-driven software development environment

Abstract A promising approach to the automation of the software production process is the support of multiple methods. A project to produce a method-driven environment is described. The requirements to be met by the environment are outlined and a number of existing environments are evaluated from this viewpoint. Some approaches to meeting their shortcomings are given.

[1]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[2]  Larry Masinter,et al.  The Interlisp Programming Environment , 1981, Computer.

[3]  Michel Sintzoff.  Suggestions for Composing and Specifying Program Design Decisions , 1980, Symposium on Programming.

[4]  Stephen Fickas,et al.  Automating the Transformational Development of Software , 1985, IEEE Transactions on Software Engineering.

[5]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[6]  Robert Balzer,et al.  On the inevitable intertwining of specification and implementation , 1982, CACM.

[7]  Brian W. Kernighan,et al.  The UNIX™ programming environment , 1979, Softw. Pract. Exp..

[8]  H. Partsch,et al.  The CIP Transformation System , 1984 .

[9]  David R. Musser,et al.  An Overview of AFFIRM: A Specification and Verification System , 1980, IFIP Congress.

[10]  Brian W. Kernighan,et al.  The Unix Progamming Environment , 1981, Computer.

[11]  Erik Sandewall,et al.  Programming in an Interactive Environment: the ``Lisp'' Experience , 1978, CSUR.

[12]  Matthias Weber,et al.  Program Development by Transforamtion and Refinement , 1986, Advanced Programming Environments.

[13]  Martin S. Feather,et al.  A System for Assisting Program Transformation , 1982, TOPL.

[14]  John R. Cameron,et al.  An overview of JSD , 1986, IEEE Transactions on Software Engineering.

[15]  Barry W. Boehm,et al.  A Software Development Environment for Improving Productivity , 1984, Computer.

[16]  Daniel M. Berry.  Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language , 1987, IEEE Transactions on Software Engineering.

[17]  Robert Balzer,et al.  A 15 Year Perspective on Automatic Programming , 1985, IEEE Transactions on Software Engineering.

[18]  Dines Bjørner,et al.  Formal specification and software development , 1982 .

[19]  John Darlington,et al.  A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[20]  Elaine Kant,et al.  Understanding and Automating Algorithm Design , 1985, IEEE Transactions on Software Engineering.

[21]  James J. Horning,et al.  Some Notes on Putting Formal Specifications to Productive Use , 1982, Sci. Comput. Program..

[22]  David S. Wile,et al.  Program developments: formal explanations of implementations , 1983, CACM.