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 and the continuing work of the project is mentioned.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J R Abrial & A Guillon “Un outil de conception de logiciels”, 26 Rue des Plantes Paris France 1985.
A Al-Zobaidie & JB Grimson “Expert Systems & Database Systems — how can they serve each other?” Second Intl Conference on Expert Systems London Sept 1986 (to-be published).
R Balzer, TE Cheatham Jr. & C Green, “Software Technology in the 1990’s: Using a New Paradigm”, Computer pp 39–45 November 1985.
R Balzer “A 15 year perspective on automatic programming” IEEE Trans Soft Eng V SE-11 No 11 ppl257–1277 Nov 1985.
D Bjorner and CB Jones “Formal specification and software development” Prentice Hall 1982.
B W Boehm, M H Penedo, E D Stückle, R D Williams & A B Pyster, “A Software Development Environment for Improving Productivity”, Computer V17 No6, June 1984.
R M Burstall & J D Darlington “A Transformation System for Developing Recursive Programs”, Journal ACM V24 No 1 Jan 1977 pp44–67.
J R Cameron “An overview of JSD”, IEEE Trans, on Software Eng. V SE-12 No 2 Feb 1986 pp 222–241.
J Darlington “The structured description of algorithm derivations” in Algorithmic Languages, JW de Bakker & H van Vliet, editors, Elsevier North-Holland, New York pp 221–250 New York USA 1981.
M S Feather “ A system for assisting program transformation” ACM Trans Prog Lang Syst V4 No 1 pp 1–20 Jan 1982.
S F Fickas “Automating the transformational development of software” Ph.D. dissertation, Univ. of California, Irvine.
S F Fickas “Automating the transformational development of software” IEEE Trans on Soft Eng V SE-11 No 11 Nov 1985 ppl268–1278.
S Gerhart, DR Musser, DH Thompson, DA Baker, RL Bates, RW Erickson, RL London, DG Taylor & DS Wile, “An Overview of AFFIRM: a specification and verification system”, in Proc. IFIP ’80, New York 1980.
C Green, D Luckham, R Balzer, T Cheatham & C Rich, “Report on a Knowledge-based Software Assistant”, Kestrel Institute, Palo Alto 1983.
H Horgen “ToolUse: An advanced support environment for method-driven development and evolution of packaged software”, in ESPRIT ’85 North Holland April 1986.
S Jaehnichen, F Ali Hussain, M Weber, “Program Development by Transformation and Refinement” Programming Environments Workshop, Trondheim Norway June 1986.
E Kant, “Understanding and Automating Algorithm Design” IEEE Trans Soft Eng V SE-11 No 11 Nov 1985.
S Kearney “Guidelines for conducting experiments - second version” Internal ToolUse document Gen.T5.SK86c.l Generics May 1986.
BW Kernighan & J R Mashey, “The Unix Programming Environment”, Computer April 1981.
M Lemaitre, M Lemoine & G Zanon,“SPRAC: A Computer Assisted Software Software Development”, in Tools and Notions for Program Construction, (Ed. D Neel), Cambridge UK 1981.
M Lemoine (Ed.) “Final Report of Task 4.1 - Evaluation of Environments”, Tool Use Project, ESPRIT project 510 - CEC Brussels December 1985.
B Lennartsson “Linnkoping University Department of Computing and Information Sciences Annual Report” 1986.
J Mostow, “Towards Better Models of the Design Process”, AI Magazine, Spring 1985.
H Partsch & R Steinbruggen, “Program Transformation Systems”, ACM Computing Surveys V15 No 3, Sept 1983.
H Partsch “The CIP transformation system” in Program Transformation and Programming Environments, ed P Pepper Lecture Notes in Computer Science Springer-Verlag New York
JA Redmond “ ESPRIT Project 510 ´Tool Use´ - Description, Progress to date and future directions: a view from the trenches”, Proceedings of Informatica ´85, 18´th international conference on computer technology & usage, Nova Gorica, Yugoslavia, Sept 1985 pp 36–45.
JA Redmond (Ed.) “Final Report of Task 1.1 - Evaluation of Tools”, ToolUse Project, ESPRIT project 510 - CEC Brussels November 1985.
W G Riddle & L G Williams, “Software Environments Workshop Report”, ACM Sigsoft Software Engineering Notes V11No1 pp73–102 January 1986
K T Ryan, J A Redmond, B Mathews, D J O´Neill, A Hunot, M Lemoine, M Dausmann & K Wachsmuth, “Tools for a Method Driven Environment” IFIP ’86 Dublin Ireland pp.895–901.
E Sandewall “Programming in an interactive environment - the Lisp experience” Computer Surveys V10 No 1 Mar #x0027;1978.
M Shaw, “Scope ans scale: the next challenges for software engineering” IBM - SISU Symposium, Stokholm, Sweden Sept 16–18, 1985.
M Sintzoff “Suggestions for composing and specifying program design decisions” 4th Int Sym Prog Paris April 1980 Lecture notes in computer science vol 83 Springer Verlag.
M Sintzoff, M Weber, F Ali Hussain, P de Groote, R Jacquart, S Jahnichen and T T Nguyen “Requirements and feasibility studies for a development language” Esprit Project 510 Tool Use Task 3.2 Final Report, Unite d’Informatique, Université Catholique de Louvain, Louvain-la-Neuve, Belgium May 1986.
W Teitelman & L Masinter, “The Interlisp Programming Environment”, Computer V14 No 4, April 1981.
D Wile, “Program Developments: formal explanations of implementations”, Comm ACM V26 No 11, November 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Plenum Press, New York
About this chapter
Cite this chapter
Redmond, J.A., Ryan, K.T. (1988). Designing a Method Driven Software Development Environment. In: Benyon, D., Skidmore, S. (eds) Automating Systems Development. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1033-4_36
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1033-4_36
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8302-7
Online ISBN: 978-1-4613-1033-4
eBook Packages: Springer Book Archive