Skip to main content
SpringerLink
Log in

Die Wissenschaftlichen Arbeiten von Reinhold Franck

  • Conference paper
Informatik zwischen Wissenschaft und Gesellschaft

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 309))

  • 98 Accesses

Zusammenfassung

Die wissenschaftlichen Arbeiten von Reinhold Franck decken eine breite Spanne in der praktischen Informatik ab. In drei Bereichen hat er sich besonders engagiert: Rechnernetze, Verteilte Systeme und Softwaretechnik. Dies spiegelt sich auch in der Zusammensetzung seiner Arbeitsgruppe wider. Die einzelnen Schwerpunkte seiner Arbeit und die von ihm geleiteten Projekte werden im folgenden kurz beschrieben.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

Literatur

  1. P. Chylla, H.G. Hegering: Ethernet-LANs, Planung Realisierung und Netz-Management, DataCom, 1988

    Google Scholar 

  2. R. Franck: Bausteine einer mittelfristigen Planung der Informations- und Kommunikations-Infrastruktur für die Universtät Bremen. Forschungsericht des Studiengangs Informatik an der Universität Bremen, No 1/88,1988

    Google Scholar 

  3. R. Müller, A. Zenk: Die neuen Wege lokaler Netze. Chip-Special, 1989

    Google Scholar 

  4. A.S. Tannenbaum: Computer Networks. Prentice-Hall International, Inc., 2nd edition, 1989

    Google Scholar 

Literatur

  1. G.T. Almes: The Impact of Language and System on Remote Procedure Call Design. Proceedings of the 6th International Conference on Distibuted Computing Systems, Cambridge, IEEE, 1986

    Google Scholar 

  2. H.E. Bai, J.G. Steiner, A.S. Tanenbaum: Programming Languages for Distributed Computing Systems. ACM Computing Surveys, Vol.21, No.3, September 1989

    Google Scholar 

  3. A.D. Birrell, B.J. Nelson: Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, Vol.2, No.1, February 1984

    Google Scholar 

  4. D.R. Brownbridge, L.F. Marshall, B. Randall: The Newcastle Connection or Vnixes of the World Unite!’. Software - Practice & Experience, Vol.12, No.12, December 1982

    Google Scholar 

  5. D.R. Cheriton: The V Distributed System. Communications of the ACM, Vol.31, No.3, March 1988

    Google Scholar 

  6. K. Geihs, B. Schoener, U. Hollberg, H. Schmutz, H. Eberle: An Architecture for the Cooperation of Heterogeneous Operating Systems. Proceedings of the Computer Network Symposium, Washington, IEEE, April 1988

    Google Scholar 

  7. E. Levy, A. Silberschatz: Distributed File Systems: Concepts and Examples. ACM Computing Surveys, Vol.22, No.4, December 1990

    Google Scholar 

  8. K.-P. Löhr, J. Müller, L. Nentwig: DAPHNE - Support for Distributed Applications Programming in Heterogeneous Computer Networks. Proceedings of the 8th International Conference on Distibuted Computing Systems, San Jose, IEEE, August 1988

    Google Scholar 

  9. K.-P. Löhr, J. Müller, L. Nentwig: DAPHNE - Support for Distributed Computing in Heterogeneous Environments. Proceedings of the European Workshop on Progress in Distributed Operating Systems and Distributed Systems Management, Berlin, April 1989, Lecture Notes in Computer Science, No. 433, Springer-Verlag, 1990

    Google Scholar 

  10. S. Mullender (ed.): Distributed Systems. ACM Press, 1989

    Google Scholar 

  11. BJ. Nelson: Remote Procedure Call. Ph.D. Thesis, Carnegie-Mellon University, CMU-CS-81–119, 1981

    Google Scholar 

  12. D. Notkin, A.P. Black, E.D. Lazowska, H.M. Levy, J. Sanislo, J. Zahorjan: Interconnecting Heterogeneous Computer Systems. Communications of the ACM, Vol.31, No.3, March 1988

    Google Scholar 

  13. Sun Microsystems: Network Programming. Manual Part No. 800-1779-10,1988

    Google Scholar 

  14. A.S. Tanenbaum, R. van Renesse: Distributed Operating Systems. ACM Computing Surveys, Vol.17, No.4, December 1985

    Google Scholar 

  15. A.S. Tanenbaum, R. van Renesse, H. van Staveren, G.J. Sharp, S.J. Mullender, J. Jansen, G. van Rossum: Experiences with the Amoeba Distributed Operating System. Communications of the ACM, Vol.33, No.12, December 1990

    Google Scholar 

  16. S.A. Yemini, G.S. Goldszmidt, A.D. Stoyenko, L.W. Beeck:CONCERT: A High-Level- Language Approach to Heterogeneous Distributed Systems. Proceedings of the 9th International Conference on Distibuted Computing Systems, Newport Beach, IEEE, 1989

    Google Scholar 

Literatur

  1. G.T. Almes, C. Holman: Edmas: An Object-oriented, Locally Distributed Mail System. IEEE Transactions on Software Engineering, Vol. SE-13, No. 9, Sep 1987

    Google Scholar 

  2. S. Bodker, P. Ehn, J.L. Knudsen, M. Kyng, K.H. Madsen:Computer Support for Cooperative Design. Proceedings of the 2nd Conference on CSCW, Sep. 1988

    Google Scholar 

  3. Memorandum of Understanding for the Implementation of a European Research Project on Cooperation Technology (Co-Tech). 2nd Draft, Jan 1990

    Google Scholar 

  4. Proceedings of the Conferences on Computer-Supported Cooperative Work. Austin, Texas, Okt. 1986, Portland, Oregon, Sep. 1988, Los Angeles, California, Okt. 1990

    Google Scholar 

  5. B. Curtis, H. Krasner, N. Iscoe:A Field Study of the Software Design Process for Large Systems. Communications of the ACM, Vol. 31, No. 11, Nov 1988

    Google Scholar 

  6. Proceedings of the 1st European Conference on Computer-Supported Cooperative Work. London, Sep. 1989

    Google Scholar 

  7. R. Franck:Verteilte Softwareentwicklung. In: R. Valk (Hrsg.): GI-18. Jahrestagung, Informatik Fachberichte, No. 188, Okt 1988

    Google Scholar 

  8. S.R. Hiltz, M. Turoff: Structuring Computer-Mediated Communication Systems to Avoid Information Overload. Communications of the ACM, Vol. 28, No. 7, Jul 1985

    Google Scholar 

  9. K. Kautz, G. Gryczan, M. Ecker, C. Focks: Research Directions on Tool Support for Cooperative Development. Technische Universität Berlin, Fachbereich Informatik, Bericht 90–27, Juli 1990

    Google Scholar 

  10. F. Mattern, P. Sturm: Konzepte Verteilter Programmierung - Erfahrungen bei der Entwicklung eines dezentralen Terminvereinbarungssystem. GI-18. Jahrestagung, Informatik Fachberichte, No. 188, Okt 1988, S. 545–561

    Google Scholar 

  11. M. Sihto: Distributed Hypertext as a Basis for Communication and Collaboration Tools in Distributed Software Environments. Proceedings of the 1st European Conference on CSCW, Sep. 1989

    Google Scholar 

Literatur

  1. B. Beizer: Software System Testing and Quality Assurance. Van Nostrand Reinhold Company, New York 1984.

    Google Scholar 

  2. J.B. Goodenough, S.L. Gerhart: Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering, Vol. SE-1, No. 2,1975

    Google Scholar 

  3. M.J. Harrold, M.L. Soffa: Interprocedural Data Flow Testing. In: Third Testing, Analysis, and Verification Symposium (TAV3-SIGSOFT 89), Key-West, Florida, 13.–15. Dezember 1989, ACM Press 1989

    Google Scholar 

  4. J. Herrmann, A. Spillner, R.Franck: Datenflußorientierter Integrationstest. Pit-Report 90/1, Interner Bericht, Fachbereich Mathematik/Informatik, Universität Bremen, Januar 1990

    Google Scholar 

  5. W.E. Howden,: Functional Program Testing & Analysis. McGraw-Hill, NY, 1987

    Google Scholar 

  6. H.K.N. Leung, LJ. White: A Study of Integration Testing and Regression Testing. Technical Report TR 89–21. Sept. 1989, Department of Computer Science, The University of Alberta, Edmonton, Alberta, Canada

    Google Scholar 

  7. P. Liggesmeyer: Modultest und Modulverifikation. BI-Wissenschaftsverlag, Mannheim, 1990

    MATH  Google Scholar 

  8. U. Linnenkugel, M. Müllerburg: Test Data Selection Criteria for (Software) Integration Testing. First International Conference on Systems Integration, IEEE, April 1990

    Google Scholar 

  9. E. Miller Program Testing: Art Meets Theory. Computer, Juli 1977

    Google Scholar 

  10. E. Miller, W.E. Howden (Hrsg.): Tutorial: Software Testing and Validation Techniques. IEEE Catalog No. EHO 138-8/180-0,1978

    Google Scholar 

  11. S.S. Muchnik, N.DJones (eds): Program Flow Analysis: Theories and Applications. Prentice-Hall, Englewood Cliffs, NJ., 1981

    Google Scholar 

  12. GJ. Myers:The Art of Software Testing. John Wiley & Sons, NY, 1979.

    Google Scholar 

  13. K.M. Ölender, L J. Osterweil: Specification and Static Evaluation of Sequencing Constraints in Software. Workshop on Software Testing, Banff, Canada, 1986. IEEE Computer Society, Catalog Nr. 86TH 0144–6,1986

    Google Scholar 

  14. L J. Osterweil: Cesar: A Static Sequencing Constraint Analyzer. Third Symposium on Software Testing, Analysis, and Verification (TAV3). Key West, Florida, U.S.A., Dec. 1989, ACM Press

    Google Scholar 

  15. LJ. Osterweil, L.D. Fosdick: DAVE - A Validation Error Detection and Documentation System for Fortran Programs. Software - Practice and Experience, Vol 6, No 4,1976

    Google Scholar 

  16. S. Rapps, E.J. Weyuker: Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, Vol. SE-11, No. 4,1985

    Google Scholar 

  17. A. Spillner, R. Franck, J. Herrmann: Integration großer Software-Systeme. In Lippe, W.-M. (Hrsg.): Software-Entwicklung, Proceedings, Fachtagung Marburg, Juni 1989, Informatik Fachberichte 212, Springer Verlag, 1989

    Google Scholar 

  18. A. Spillner, J. Herrmann: Systemweite Prüfung der Aufrufreihenfolgen externer Operationen. Pit-Report 90/4, Interner Bericht, Fachbereich Mathematik/Informatik, Universität Bremen, Oktober 1990

    Google Scholar 

  19. A. Spillner: Dynamischer Integrationstest modular er Softwaresysteme, Dissertation, Fachbereich Mathematik/Informatik, Universität Bremen, Januar 1991

    Google Scholar 

Literatur

  1. G. Arango, I. Baxter, P. Freeman, C. Pidgeon: TMM: Software Maintenance by Transformation. IEEE Software No 3,1986

    Google Scholar 

  2. T.J. Biggerstaff: Design Recovery for Maintenance and Reuse. IEEE Computer Vol 22,No 7, 1989

    Google Scholar 

  3. Y.F. Chen, M.Y. Nishimoto, C.V. Ramamoorthy: The C Information Abstraction System. IEEE Transactions on Software Engineering, Vol 16, No 3,1990

    Google Scholar 

  4. R. Franck, J. Hindersmann, I. Nikschat-Tillwick: Entwurf und Wartung großer Software-Systeme. Forschungsbericht des Studiengangs Informatik, Universität Bremen, No. 11/89,1989.

    Google Scholar 

  5. P. Freeman:A Conceptual Analysis of the Draco Approach to Constructing Software Systems. IEEE Transactions on Software Engineering, Vol 14, No 7,1987

    Google Scholar 

  6. Ipsys Software pic.: Tool Builder’s Kit Public Tools Interface Functional Specification. Vol 2,1990.

    Google Scholar 

Download references

Authors
  1. Björn Brünjes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jens Herrmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jutta Hindersmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Joachim Müller
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ingrid Nikschat-Tillwick
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Andreas Spillner
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Karin Vosseberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Mathematik und Informatik, Universität Bremen, Bibliothekstraße, Postfach 330 440, W-2800, Bremen 33, Deutschland

    Hans-Jörg Kreowski

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brünjes, B. et al. (1992). Die Wissenschaftlichen Arbeiten von Reinhold Franck. In: Kreowski, HJ. (eds) Informatik zwischen Wissenschaft und Gesellschaft. Informatik-Fachberichte, vol 309. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77449-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77449-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55389-2

  • Online ISBN: 978-3-642-77449-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation