Programming with abstract data types: The symmetry package SPDE in scratchpad

  • Fritz Schwarz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 296)


The main problem which occurs in developing Computer Algebra packages for special areas in mathematics is the complexity. The unique concept which is advocated to cope with that problem is the introduction of suitable abstract data types. The corresponding decomposition into modules makes it much easier to develop, maintain and change the program. After introducing the relevant concepts from software engineering they are elaborated by means of the symmetry analysis of differential equations and the Scratchpad package SPDE which abbreviates Symmetries of Partial Differential Equations.


Computer Algebra Random Generator Computer Algebra System Symmetry Analysis Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G.J. Myers, Reliable Software through Composite Design, Petrocelli/Charter, New York, 1975.Google Scholar
  2. [2]
    G.J. Myers, Software Reliability, John Wiley & Sons, New York, 1976.Google Scholar
  3. [3]
    E. Yourdon, Techniques of Program Structure and Design, Prentice-Hall Inc., Englewood Cliffs, 1975.Google Scholar
  4. [4]
    E. Yourdon and L.L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall Inc., Englewood Cliffs, 1979.Google Scholar
  5. [5]
    R.E. Fairley, Software Engineering Concepts, McGraw-Hill Book Company, New York, 1985.Google Scholar
  6. [6]
    H.D. Mills, V. Basili, J. D. Gannon, R. G. Hamlet, Principles of Computer Programming, A Mathematical Approach, Allyn and Bacon, Inc., 1987.Google Scholar
  7. [7]
    R. D. Jenks, R. S. Sutor, S. M. Watt, Scratchpad II: An Abstract Datatype System for Mathematical Computation, these Proceedings.Google Scholar
  8. [8]
    G. J. Myers, The Art of Software Testing, John Wiley & Sons, New York, 1979.Google Scholar
  9. [9]
    B. Beizer, Software Testing Techniques, Van Nostrand Company, New York, 1983.Google Scholar
  10. [10]
    B. Liskov and J. Guttag, Abstraction and Specification in Program Development, The MIT Press, Cambridge, 1986.Google Scholar
  11. [11]
    N. Wirth, On the Composition of Well-Structured Programs, Computing Surveys 6, 247–259 (1974).CrossRefGoogle Scholar
  12. [12]
    S. S. Yau, Design Stability Measures for Software Maintenance, IEEE Transactions on Software Engineering 11, 849(1985)Google Scholar
  13. [13]
    Z. L. Lichtman, Generation and Consistency Checking of Design and Program Structures, IEEE Transactions on Software Engineering 12, 172(1986).Google Scholar
  14. [14]
    F. Schwarz, Symmetries of Differential Equations: From Sophus Lie to Computer Algebra, to appear in SIAM Review.Google Scholar
  15. [15]
    F. Schwarz, An Algorithm for Solving Determining Systems, GMD Report, to appear.Google Scholar
  16. [16]
    F. Schwarz, Computer Algebra and Differential Equations, GMD Report, to appear.Google Scholar
  17. [17]
    T. Chosho, Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing, IEEE Transaction on Software Engineering 13, 509–517(1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Fritz Schwarz
    • 1
  1. 1.IBM Thomas J. Watson Research CenterYorktown HeightsU.S.A.

Personalised recommendations