Designing a Method Driven Software Development Environment

  • James A. Redmond
  • Kevin T. Ryan

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.

Keywords

Trench 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABRI85]
    J R Abrial & A Guillon “Un outil de conception de logiciels”, 26 Rue des Plantes Paris France 1985.Google Scholar
  2. [ALZ086]
    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).Google Scholar
  3. [BALZ85a]
    R Balzer, TE Cheatham Jr. & C Green, “Software Technology in the 1990’s: Using a New Paradigm”, Computer pp 39–45 November 1985.Google Scholar
  4. [BALZ85b]
    R Balzer “A 15 year perspective on automatic programming” IEEE Trans Soft Eng V SE-11 No 11 ppl257–1277 Nov 1985.CrossRefGoogle Scholar
  5. [BJOR82]
    D Bjorner and CB Jones “Formal specification and software development” Prentice Hall 1982.MATHGoogle Scholar
  6. [BOEH84]
    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.Google Scholar
  7. [BURS77]
    R M Burstall & J D Darlington “A Transformation System for Developing Recursive Programs”, Journal ACM V24 No 1 Jan 1977 pp44–67.MathSciNetMATHCrossRefGoogle Scholar
  8. [CAME86]
    J R Cameron “An overview of JSD”, IEEE Trans, on Software Eng. V SE-12 No 2 Feb 1986 pp 222–241.Google Scholar
  9. [DARL81]
    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.Google Scholar
  10. [FEAT82]
    M S Feather “ A system for assisting program transformation” ACM Trans Prog Lang Syst V4 No 1 pp 1–20 Jan 1982.MATHCrossRefGoogle Scholar
  11. [FICK82]
    S F Fickas “Automating the transformational development of software” Ph.D. dissertation, Univ. of California, Irvine.Google Scholar
  12. [FICK85]
    S F Fickas “Automating the transformational development of software” IEEE Trans on Soft Eng V SE-11 No 11 Nov 1985 ppl268–1278.CrossRefGoogle Scholar
  13. [GERH80]
    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.Google Scholar
  14. [GREE83]
    C Green, D Luckham, R Balzer, T Cheatham & C Rich, “Report on a Knowledge-based Software Assistant”, Kestrel Institute, Palo Alto 1983.Google Scholar
  15. [HORG86]
    H Horgen “ToolUse: An advanced support environment for method-driven development and evolution of packaged software”, in ESPRIT ’85 North Holland April 1986.Google Scholar
  16. [JAEH86]
    S Jaehnichen, F Ali Hussain, M Weber, “Program Development by Transformation and Refinement” Programming Environments Workshop, Trondheim Norway June 1986.Google Scholar
  17. [KANT85]
    E Kant, “Understanding and Automating Algorithm Design” IEEE Trans Soft Eng V SE-11 No 11 Nov 1985.Google Scholar
  18. [KEAR86]
    S Kearney “Guidelines for conducting experiments - second version” Internal ToolUse document Gen.T5.SK86c.l Generics May 1986.Google Scholar
  19. [LEMA81]
    BW Kernighan & J R Mashey, “The Unix Programming Environment”, Computer April 1981.Google Scholar
  20. [LEMA81]
    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.Google Scholar
  21. [LEMO85]
    M Lemoine (Ed.) “Final Report of Task 4.1 - Evaluation of Environments”, Tool Use Project, ESPRIT project 510 - CEC Brussels December 1985.Google Scholar
  22. [MOST85]
    B Lennartsson “Linnkoping University Department of Computing and Information Sciences Annual Report” 1986.Google Scholar
  23. [MOST85]
    J Mostow, “Towards Better Models of the Design Process”, AI Magazine, Spring 1985.Google Scholar
  24. [PART83]
    H Partsch & R Steinbruggen, “Program Transformation Systems”, ACM Computing Surveys V15 No 3, Sept 1983.Google Scholar
  25. [REDM84]
    H Partsch “The CIP transformation system” in Program Transformation and Programming Environments, ed P Pepper Lecture Notes in Computer Science Springer-Verlag New YorkGoogle Scholar
  26. [REDM85a]
    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.Google Scholar
  27. [REDM85b]
    JA Redmond (Ed.) “Final Report of Task 1.1 - Evaluation of Tools”, ToolUse Project, ESPRIT project 510 - CEC Brussels November 1985.Google Scholar
  28. [RIDD86]
    W G Riddle & L G Williams, “Software Environments Workshop Report”, ACM Sigsoft Software Engineering Notes V11No1 pp73–102 January 1986CrossRefGoogle Scholar
  29. [RYAN86]
    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.Google Scholar
  30. [SAND78]
    E Sandewall “Programming in an interactive environment - the Lisp experience” Computer Surveys V10 No 1 Mar #x0027;1978.Google Scholar
  31. [SHAW85]
    M Shaw, “Scope ans scale: the next challenges for software engineering” IBM - SISU Symposium, Stokholm, Sweden Sept 16–18, 1985.Google Scholar
  32. [SINT80]
    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.Google Scholar
  33. [SINT86]
    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.Google Scholar
  34. [TEIT81]
    W Teitelman & L Masinter, “The Interlisp Programming Environment”, Computer V14 No 4, April 1981.Google Scholar
  35. [WILE83]
    D Wile, “Program Developments: formal explanations of implementations”, Comm ACM V26 No 11, November 1983.Google Scholar

Copyright information

© Plenum Press, New York 1988

Authors and Affiliations

  • James A. Redmond
    • 1
  • Kevin T. Ryan
    • 1
  1. 1.Dept. of Computer ScienceTrinity CollegeIreland

Personalised recommendations