Methods and tools for information systems design

  • S. Krakowiak
Analysis And Design Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 65)


The purpose of this survey is to present, in a comprehensive manner, some important concepts that influenced the design of information systems in the last few years. Emphasis is placed on recent progress in design methods, and on the development of tools that may be used to apply these methods.

Some aspects of recent computer-implemented systems for assistance to requirements analysis and system design are examined. The paper then reviews some advances in the design of data and control structures. The impact of the abstract data type concept and its use in system design is analyzed. Recent progress in the control of parallel process cooperation is finally presented, with reference to distributed systems.


Data Abstraction Composition Rule Path Expression Abstract Type 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.


  1. ABRIAL J.R.: Data semantics, Proc. IFIP Working Conf. on Data Base Management Systems (Klimbie and Koffeman, eds.), North-Holland (1974).Google Scholar
  2. ABRIAL J.R.: Méthode et langage de spécification. (Unpublished notes, 1977).Google Scholar
  3. ALEXANDER C.: Notes on the synthesis of form, Harvard University Press, 1964.Google Scholar
  4. BOEHM B.W., McCLEAN R.K., URFRIG D.B.: Some experience with automated aids to the design of large-scale software, Proc. Intern. Conf. on Reliable Software, SIGPLAN Notices 10,6 (juin 1975).Google Scholar
  5. BRINCH HANSEN P.: The architecture of concurrent programs, Prentice Hall (1977).Google Scholar
  6. BROOKS F.P.: The mythical man-month, Addison-Wesley, 1975.Google Scholar
  7. CADES: Computer-Aided Design and Evaluation System (a series of articles in Computer Weekly, (July 1973).Google Scholar
  8. DAHL O.J.: Hierarchical program structures, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Automatic Programming no8, Academic Press (1972).Google Scholar
  9. DIJKSTRA E.W.: Notes on Structured Programming, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Automatic Programming, no8, Academic Press (1972).Google Scholar
  10. DIJKSTRA E.W.: A discipline of programming, Prentice Hall (1976).Google Scholar
  11. DONZEAU-GOUGE V., HUET G., LANG B., LEVY J.J.: A structure-oriented program editor: a first step towards computer-assisted programming, Proc. ICS Conf., Antibes (May 1975).Google Scholar
  12. FELDMAN J.A.: A programming methodology for distributed computing (among other things), TR-9, Dept. of Computer Science, Univ. of Rochester 1977.Google Scholar
  13. GERHART S.L. and YELOWITZ L.: Observations of fallibility in applications of modern programming methodologies, IEEE Trans. Software Engineering, SE-2, 3 (Sept. 1976).Google Scholar
  14. GESCHKE C.M., MORRIS J.H., SATTERTHWAITE E.H.: Early experience with Mesa, Comm. ACM, 20, 8 (Aug. 1977).Google Scholar
  15. GOULD I.H.: (Ed.) IFIP Guide to concepts and terms in data processing, North-Holland, 1971.Google Scholar
  16. GUTTAG J.: Abstract data types and the development of data structures, Proc. SIGPLAN/SIGMOD Conf. on Data, SIGPLAN Notices 8,2 (march 1976). (To appear in Comm. ACM).Google Scholar
  17. HABERMANN A.N.: Path expressions Dept. of Computer Science, Carnegie Mellon University (1975).Google Scholar
  18. HAMMER M.: Data abstractions for data bases, Proc. SIGPLAN/SIGMOD Conf. on Data SIGPLAN Notices, 8,2 (March 1976).Google Scholar
  19. HAMMING R.W.: One man's view of computer science, Journal A.C.M., 16,1 (Jan.1969).Google Scholar
  20. HENDERSON P., SNOWDON R.: An experiment in structured programming, BIT 12,1 (1972).Google Scholar
  21. HENDERSON P., SNOWDON R.: A tool for structured program development; Proc IFIP Congress 1974, vol 2, North-Holland (1974).Google Scholar
  22. HORNING J.J.: Some desirable properties of data abstraction facilities, Proc. SIGPLAN/SIGMOD Conf. on Data, SIGPLAN Notices 8,2 (march 1976).Google Scholar
  23. HOARE C.A.R.: Notes on data structuring, in Structured Programming (Dahl, Dijkstra, Hoare), APIC Studies in Data Processing no8 Academic Press (1972).Google Scholar
  24. HOARE C.A.R.: Monitors: an operating systems structuring concept, Comm. ACM, 17, 10 (1974).Google Scholar
  25. IVIE E.L.: The programmer's workbench — a machine for software development, Comm. ACM 20,10 (oct. 1977).Google Scholar
  26. JACKSON M.A.: Principles of program design, APIC Studies in Data Processing no12, Academic Press (1975).Google Scholar
  27. KNUTH D.E.: Computer Programming as an art, Comm. ACM 17,12 (Dec. 1974 a).Google Scholar
  28. KNUTH D.E.: Structured programming with goto statements, Comp. Surveys, 6,4 (Dec. 1974 b).Google Scholar
  29. KRAKOWIAK S., LUCAS M., MONTUELLE J., MOSSIERE J.: A modular approach to the structured design of operating systems, Proc. MRI Symp. on Computer Software Engineering, Polytechnic Institute of New-York (1976).Google Scholar
  30. LISKOV B.H., ZILLES S.N.: Programming with abstract data types, Proc. SIGPLAN Symp. on Very High Level Languages, SIGPLAN Notices, 9,5 (1974).Google Scholar
  31. LISKOV B.H., ZILLES S.N.: Specification techniques for data abstractions, IEEE Trans. Software Engineering, SE-1 (March 1975).Google Scholar
  32. LUCENA C.J., COWAIN D.D.: Toward a system's environment for computer assisted programming, Inf. Proc. Letters, 5,2 (June 1976).Google Scholar
  33. MILLS H.D.: How to write correct programs and know it, Proc. Int. Conf. on reliable software, SIGPLAN Notices 10,6 (June 1975).Google Scholar
  34. MYERS G.J.: Reliable software through composite design, Petrocelli/Charter (1975).Google Scholar
  35. NAUR P.: Concise survey of computer methods, Studentlitteratur, Lund (1974).Google Scholar
  36. PARNAS D.L.: Information distribution aspects of design methodology. Proc. IFIP Congress (1971).Google Scholar
  37. PARNAS D.L.: On the criteria to be used in decomposing a system into modules, Comm. ACM, 15,12 (Dec. 1972).Google Scholar
  38. POLYÀ G.: How to solve it, Princeton University Press (1971).Google Scholar
  39. ROBERT P., VERJUS J.P.: Towards autonomous descriptions of synchronization modules, Proc. IFIP Congress, (1977).Google Scholar
  40. ROSS, D.T., SCHOMAN K.E. Jr: Structured analysis for requirements definition, IEEE Trans. Software Engineering, SE-3, 1 (Jan. 1977).Google Scholar
  41. SCHNEIDER B.R. Jr: Travels in computerland, or incompatibilities and interfaces, Addison-Wesley (1974).Google Scholar
  42. TEICHROEW D., HERSHEY E.A., III, PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems, IEEE Trans. Software Engineering, SE-3,1 (Jan. 1977).Google Scholar
  43. WIRTH N.: Algorithms + data structures = Programs, Prentice Hall (1976).Google Scholar
  44. WIRTH N.: Modula, a language for modular multiprogramming, Software Practice and experience 7,1 (1977).Google Scholar
  45. ZURCHER F.W., RANDELL B.: Iterative multi-level modelling: a methodology for computer system design, Proc. IFIP Congress (1968).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • S. Krakowiak
    • 1
  1. 1.IMAG, Université de GrenobleGrenoble-Cedex

Personalised recommendations