Skip to main content
SpringerLink
Log in

Software engineering tools

  • B: Digital Control of Accelerators
  • Conference paper
  • First Online:
Computing in Accelerator Design and Operation

Part of the book series: Lecture Notes in Physics ((LNP,volume 215))

  • 149 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L.J. Osterweil, A Software Lifecycle Methodology and Tool Support, in W.F. Riddle and R.E. Failey/Ed/, Software Development Tools, Springer Verlag, Berlin, Heidelberg, 1980

    Google Scholar 

  2. W.E. Howden, Contemporary Software Development Environments, Com. of the ACM, 25, 318, 1982

    Google Scholar 

  3. A.I. Wasserman, Automated Tools in the Information System Development Environment, in H.J. Schneider and A.I.Wasserman/Ed/,Automated Tools for Information Systems Design, North-Holland, Amsterdam,New York,Oxford, 1981

    Google Scholar 

  4. R.W. Mitze, THe UNIX-System as a Software Engineering Environment, in H.Hünke/Ed/, Software Engineering Environments,North-Holland, Amsterdam, New York, Oxford,1981

    Google Scholar 

  5. M.H. Bianchi, R.J. Glushko, J.R. Mashey, A Software-Documentation Environment Built from the UNIX Toolkit, in H.J. Schneider and A.I. Wasserman/Ed/, Automated Tools for Information System Design, North-Holland,Amsterdam, New York, Oxford, 1982

    Google Scholar 

  6. J.N. Baxton,L.E. Druffel, Requirements for an ADA Programming Support Environment: rationale for STONEMAN, in H. Hünke/Ed/, Software Engineering Environments, North-Holland, Amsterdam, New York, Oxford, 1981

    Google Scholar 

  7. P.P. Chen, The Entity-Relationship Model — Toward a Unified View of Data, ACM Transactions on Database Systems, 1,9/1976

    Google Scholar 

  8. D. Teichroew, E.A. Hershey, PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems, in IEEE Trans. on Software Eng.,Vol.SE-3, 41/1977

    Google Scholar 

  9. A.N. Haberman, D.E. Perry, System Composition and Version Control for ADA, in H. Hünke/Ed/, Software Engineering Environments, North-Holland, Amsterdam, New York, Oxford, 1981

    Google Scholar 

  10. M. Bayer, B. Böhringer, J.P. Dehottay, H. Feuerhahn, J.Jasper, C.H.A. Koster, U. Schmiedecke, Software Development in the CDL2 Laboratory, in H.Hünke/Ed/,Software Engineering Environments, North-Holland, Amsterdam, New York, Oxford, 1981

    Google Scholar 

  11. R. Balzer, N. Goldman, D. Wile, Informality in Program Specifications, IEEE Trans. on Software Engineering, SE-4, 94/1978

    Google Scholar 

  12. D. Teichroew, S. Spewak, E.A. Hershey III, Y.Yamamoto, C. Starner, Computer-Aided Modelling of Information Systems, Proc. COMPSAC 79

    Google Scholar 

  13. R.R. Willis, AIDES: Computer-Aided Design of Software Systems-II, in H.Hünke/Ed/, Software Engineering Environments, North-Holland, Amsterdam,New York, Oxford, 1981

    Google Scholar 

  14. H.C. Heacox, RDL: A Language for Software Development, ACM Sigplan Notices, 14, 71/1979

    Google Scholar 

  15. C.G. Davis, C.R. Vick, The Software Development System, IEEE Trans. on Software Eng., SE-3, 69/1977

    Google Scholar 

  16. M.W. Alford, A Requirements Engineering Methodology for Realtime Processing Requirements, IEEE Trans. on Software Eng.,SE-3, 60/1977

    Google Scholar 

  17. T.E. Bell, D.C. Bixler, M.E. Dyer, An Extendable Approach to Computer-Aided Software Requirements Engineering, IEEE Trans. on Software Eng., SE-3, 49/1977

    Google Scholar 

  18. M.W. Alford, C.G. Davis, Experience with the Software Developmment System, in H.Hünke/Ed/, Software Engieering Enviroments, North-Holland, Amsterdam, New York, Oxford, 1981

    Google Scholar 

  19. S.N. Gaulding, J.D. Lawson, Process Design Engineering — a Methodology for Real-time Software Requirements, Proceedings 2nd International Software Engineering Conference, 1976

    Google Scholar 

  20. R. Kopang, Process Design System — An Integrated Set of Software Development Tools, Proceedings 2nd International Software Engineering Conference, 1976

    Google Scholar 

  21. D.L. Parnas, On the Criteria to be used in Decomposing Systems into Modules, CACM, 15, 1053/1972

    Google Scholar 

  22. D.L. Parnas, A Technique for Software Module Specification with Examples, CACM, 15, 330/1972

    Google Scholar 

  23. O.J. Dahl, C.A.R. Hoare, Hierarchical Program Structures, in O.J. Dahl, E.W. Dijkstra, C.A.R. Hoare, Structured Programming, Academic Press, 1972

    Google Scholar 

  24. J.V. Guttag, J.J.Jorning, The Algebraic Specification of Abstract Data Types, Acta Informatica, 10, 27/1978

    Google Scholar 

  25. J.V. Guttag, Abstract Data Types and the Developmment of Data Structures, CACM, 20, 396/1977

    Google Scholar 

  26. B. Liskow, S.Zilles, Specification Techniques for Data Abstractions, IEEE Trans. on Software Eng., SE-1, 7/1975

    Google Scholar 

  27. B. Liskow, Modular Program Construction Using Abstractions, in D. Björner/Ed/, Abstract Software Specifications, Lecture Notes in Computer Science nr 86, Springer, Berlin, Heidelberg, New York, 1980

    Google Scholar 

  28. S.N. Zilles, Algebraic Specification of Data Types, Project MAC Progress Report, MIT, Cambridge, 1974

    Google Scholar 

  29. K.N. Levitt, L. Robinson, B.A. Silverberg, The HDM Handbook, Volumes I-III Computer Science Laboratory, SRI International, June 1979

    Google Scholar 

  30. J. Goldberg, Hierarchical System Development, Final Report, Computer Science Laboratory, SRI International, June 1978

    Google Scholar 

  31. B.A. Silverberg, On Overview of the SRI Hierarchical Development Methodology, in H.Hünke/Ed/, Software Engineering Environments, North-Holland, Amsterdam, New York, Oxford, 1981

    Google Scholar 

  32. W.D. Elliot, B.A.Silverberg, K.N. Levitt, A Critique of HDM, Technical Report CSL-131, Computer Science Laboratory, SRI International, November 1981

    Google Scholar 

  33. R.S. Boyer, J.S. Moore, A Formal Semantics of SRI Hierarchical Program Design Methodology, Computer Science Laboratory, SRI International,November 1978

    Google Scholar 

  34. R.S. Boyer, J.S. Moore, A Computational Logic, Academic Press, 1979

    Google Scholar 

  35. L. Robinson, K.N. Levitt, Proof Techniques for Hierarchically Structured Programs, CACM 20, 271/1977

    Google Scholar 

  36. M. Hamilton, S. Zeldin, Higher Order Software — a Methodology for Defining Software, IEEE Trans. on Softw. Eng. SE-2, 9/1976

    Google Scholar 

  37. M. Hamilton, S. Zeldin, The Relationship between Design and Verification, The Journal of Systems and Software, 1, 29/1979

    Google Scholar 

  38. M. Hamilton, S. Zeldin, The Functional Life Cycle Model and its Automation: USE.IT, Technical Report Nr. 36, Higher Order Software, Inc. Cambridge, MA, December 28, 1982

    Google Scholar 

  39. H.J. Schneider, Techniques and Formal Tools for Design, Realization and Evaluation of Evolutionary Information Systems, Interner CIS Bericht 8/81, Technical University Berlin, Institut für Angewandte Informatik, 1981, to be published in: I.Hawgood/Ed/, Proc. IFIP TC-8 Working Conference on Evolutionary Information Systems, North-Holland, Amsterdam, New York, Oxford

    Google Scholar 

  40. T. Winograd, Beyond Programming Languages, CACM,22, 391,1979

    Google Scholar 

  41. A.I. Wasserman, S. Gutz, The Future of Programming, CACM, 25, 196,1982

    Google Scholar 

  42. H. Ehrig, W.Fey, A Method for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications, Preprint May 1982, Technical University Berlin, Institut für Software und Theoretische Informatik. Short version of this paper is published in: W. Bauer/Ed/, Informatik-Fachberichte 50, Springer Verlag, 1981

    Google Scholar 

  43. T. Czosnyka, J.Grabowski, P. Strzalkowski, R. Zelazny, Experiment Information Systems/a Proposal/, Preprint of the Institute of Nuclear Research, Otwock-Swierk,October 1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RCCAE CYFRONET, 05-400, Otwock-Swierk, Poland

    Roman Zelazny

Authors
  1. Roman Zelazny
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Winfried Busse Roman Zelazny

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag

About this paper

Cite this paper

Zelazny, R. (1984). Software engineering tools. In: Busse, W., Zelazny, R. (eds) Computing in Accelerator Design and Operation. Lecture Notes in Physics, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540139095_125

Download citation

  • DOI: https://doi.org/10.1007/3540139095_125

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13909-6

  • Online ISBN: 978-3-540-39130-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation