Program development in an algebraic setting

Algebraic theory of modular specification development

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
Salerno Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Konzeption und Realisierung eines objektorientierten Programmiermodells fuer virtuell gemeinsamen Speicher in parallelen Rechnersystemen

Besch, M. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1992

Available from TIB Hannover: RN 9844(684) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Tabellenorientierung - das Programmierparadigma fuer jedermann

Benecke, K. (Magdeburg Univ. (Germany). Inst. fuer Informations- und Kommunikationssysteme)
Magdeburg Univ. (Germany). Fakultaet fuer Informatik

January 1994

Available from TIB Hannover: RR 4485(1994,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algebraic concepts applied to software development using parameterized specifications with requirements

Ehrig, H.
Fey, W.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Applied program algebras

Zubenko, V.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8504) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraic development of a syntax directed editor

Loewe, M.
Classen, I.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1990

SIGLETIB: RN 2856(90/37) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

The development of an interpreter by means of abstract algebraic software specifications

Klaeren, H.A.
Petzsch, H.
Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Informatik 2

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3147 (65) / FIZ - Fachinformationszzentrum Karls...

Programm Fertigungstechnik 1988 - 1992 Zwischenbilanz

Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO 6006(1991,41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Programmiertechniken in SCHEME Eine Foliensammlung zu Konzepten des funktionalen, imperativen und objektorientierten Programmierstils

Craemer, D.
Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin (Germany). Inst. fuer Anwendungsorientierte Software- und Systemtechnik

January 1992

Available from TIB Hannover: RN 9844(647) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Softwaremetriken fuer objekt-orientierte Programmiersprachen

Buth, A.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RN 9844(545) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Transformational program development in a particular problem domain

Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Mathematik
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1985

Available from TIB Hannover: RN 7878(8515) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Programmsystem GESIM Anwenderhandbuch

Bayer, W.
Preissing, W.
Ziegler, H.J.
Ewald, W.
Zierle, H.
BAM - Buero fuer angewandte Mathematik, Stuttgart (Germany, F.R.)
Bundesministerium fuer Forschung und Technologie, Bonn (Germany, F.R.)

January 1980

TIB Hannover: AC 6630 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibl...

Algebraic theory of modular specification development

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
Salerno Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Konzeption und Realisierung eines objektorientierten Programmiermodells fuer virtuell gemeinsamen Speicher in parallelen Rechnersystemen

Besch, M. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1992

Available from TIB Hannover: RN 9844(684) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Tabellenorientierung - das Programmierparadigma fuer jedermann

Benecke, K. (Magdeburg Univ. (Germany). Inst. fuer Informations- und Kommunikationssysteme)
Magdeburg Univ. (Germany). Fakultaet fuer Informatik

January 1994

Available from TIB Hannover: RR 4485(1994,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Algebraic concepts applied to software development using parameterized specifications with requirements

Ehrig, H.
Fey, W.
Technische Univ. Berlin (Germany, F.R.). Fachbereich Informatik

January 1983

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Toward formal development of programs from algebraic specifications: parameterisation revisited

Sannella, D. (Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik)
Sokolowski, S. (Polish Academy of Sciences, Gdansk (Poland). Inst. of Computer Science)
Tarlecki, A. (Polish Academy of Sciences, Warsaw (Poland). Inst. of Computer Science)
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1990

SIGLETIB: RO 802(1990,6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Applied program algebras

Zubenko, V.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1985

SIGLETIB: RN 4855 (8504) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Algebraische Spezifikation und Korrektheit von Compilern

Grude, U.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Algebraic development of a syntax directed editor

Loewe, M.
Classen, I.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1990

SIGLETIB: RN 2856(90/37) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

The development of an interpreter by means of abstract algebraic software specifications

Klaeren, H.A.
Petzsch, H.
Technische Hochschule Aachen (Germany, F.R.). Lehrstuhl fuer Informatik 2

January 1980

SIGLETechnische Informationsbibliothek Hannover: RN 3147 (65) / FIZ - Fachinformationszzentrum Karls...

Programm Fertigungstechnik 1988 - 1992 Zwischenbilanz

Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RO 6006(1991,41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Programmiertechniken in SCHEME Eine Foliensammlung zu Konzepten des funktionalen, imperativen und objektorientierten Programmierstils

Craemer, D.
Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin (Germany). Inst. fuer Anwendungsorientierte Software- und Systemtechnik

January 1992

Available from TIB Hannover: RN 9844(647) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Softwaremetriken fuer objekt-orientierte Programmiersprachen

Buth, A.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1991

SIGLEAvailable from TIB Hannover: RN 9844(545) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

Algebraic types as a framework for program transformation

Pepper, P.
Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1984

SIGLETIB: RN 7878 (8408) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

Transformational program development in a particular problem domain

Partsch, H.
Muenchen Technische Univ. (Germany). Inst. fuer Mathematik
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1985

Available from TIB Hannover: RN 7878(8515) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Programmsystem GESIM Anwenderhandbuch

Bayer, W.
Preissing, W.
Ziegler, H.J.
Ewald, W.
Zierle, H.
BAM - Buero fuer angewandte Mathematik, Stuttgart (Germany, F.R.)
Bundesministerium fuer Forschung und Technologie, Bonn (Germany, F.R.)

January 1980

TIB Hannover: AC 6630 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibl...

Algebraic theory of modular specification development

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
Salerno Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1987

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Konzeption und Realisierung eines objektorientierten Programmiermodells fuer virtuell gemeinsamen Speicher in parallelen Rechnersystemen

Besch, M. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung mbH (GMD), St. Augustin (Germany)

January 1992

Available from TIB Hannover: RN 9844(684) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

Tabellenorientierung - das Programmierparadigma fuer jedermann

Benecke, K. (Magdeburg Univ. (Germany). Inst. fuer Informations- und Kommunikationssysteme)
Magdeburg Univ. (Germany). Fakultaet fuer Informatik

January 1994

Available from TIB Hannover: RR 4485(1994,9) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tech...

Program development in an algebraic setting

Abstract

Extracted data

Program development in an algebraic setting

Abstract

Extracted data

Related items

Related items