Programmentwicklung durch Spezifikation und Transformation Bremer Beitraege zum Verbundprojekt KORSO (Korrekte Software). Bd. 2

Programmkette Kegelradberechnung. Vergleich zwischen rechnerisch ermittelten und gemessenen Zahnfussspannungen Studie: 1985-1987

Stadtfeld, H.
Aachen Technische Hochschule (Germany). Lab. fuer Werkzeugmaschinen und Betriebslehre
Forschungsvereinigung Antriebstechnik e.V., Frankfurt am Main (Germany)
Arbeitsgemeinschaft Industrieller Forschungsvereinigungen e.V., Koeln (Germany)
Bundesministerium fuer Wirtschaft, Bonn (Germany)

January 1988

With 76 figs., 3 tabs., 12 refs.Available from TIB Hannover: RN 3358(262) / FIZ - Fachinformationszz...

Programmentwicklung durch Spezifikation und Transformation Schlussbericht

Krieg-Brueckner, B.
Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik

January 1994

Available from TIB Hannover: D.Dt.F.QN1(19,16) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

KORSO: a methodology for the development of correct software

Betschko, R.
Reif, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Logik, Komplexitaet und Deduktionssysteme)
Hussmann, H. (Technische Univ. Muenchen (Germany). Inst. fuer Informatik)
Broy, M.
Pepper, P.
Dick, S.
Didrich, K.
Faulhaber, J.
Grieskamp, W. (Technische Univ. Berlin (Germany). Fachbereich 13 - Informatik)
Wirsing, M. (eds.)
Mehlich, M. (Muenchen Univ. (Germany). Inst. fuer Informatik)
Bayerisches Forschungszentrum fuer Wissensbasierte Systeme (FORWISS), Passau (Germany)

January 1995

The KORSO project targets, by the use of formal methods, at the enhancement of the quality of softwa...

Korrekte Software (KORSO): Einsatz formaler Techniken bei der objekt-orientierten Software-Entwicklung Abschlussbericht

Goos, G.
Lewerentz, C.
Forschungszentrum Informatik, Karlsruhe (Germany)

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(26,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Deutsche Forschungsgemeinschaft. Jahresbericht 1993. Bd. 2 Programme und Projekte

Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1994

Available from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

Korrekte Software (KORSO). Teilvorhaben: Formale Beschreibung der Anwendung und Kombination von Programmentwicklungsmethoden Abschlussbericht

Jaehnichen, S.
Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(32,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Korrekte Software (KORSO). Teilvorhaben: Entwicklung zuverlaessiger Informationssysteme Abschlussbericht

Ehrich, H.D.
Gogolla, M.
Conrad, S.
Denker, G.
Herzig, R.
Vlachantonis, N.
Technische Univ. Braunschweig (Germany). Abt. Datenbanken

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(22,17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Der Transformationsprozess der DDR-Kreditgenossenschaften 1990 bis 1993: Ausmass und Wirkung der Unterstuetzung der BRD-Kreditgenossenschaften und ihrer Verbaende

Metzger, Martin

January 1995

Hohenheim, Univ., Diplomarbeit, 1994Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW...

Foerderkonzepte Abfallwirtschaft und Altlasten zum Programm Umweltforschung und Umwelttechnologie 1989-1994

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

January 1990

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Jugendliche im Transformationsprozess: Vorbedingungen, Probleme und Chancen zur Integration ostdeutscher Jugendlicher im vereinten Deutschland

Seiring, Kerstin

January 1994

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-24105 Kie...

Deutsche Forschungsgemeinschaft. Jahresbericht 1986. Bd. 2 Programme und Projekte

Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1987

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

Zur Transformation funktionaler Programme

Dosch, Walter (Prof.)

January 1990

Zur Transformation funktionaler Programme. - In: Alternative Konzepte für Sprachen und Rechner / Jür...

Der Transformationsprozess in den ostdeutschen Laendern und seine folgen fuer die Gesundheit der Bevoelkerung und ihre Versorgung

Miehlke, Guenter

January 1991

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-24105 Kie...

Bericht ueber die Entwicklung der Konversion im Lande Bremen: Konversionsbericht 1996 ; Branchenerhebung, Projektfoerderung, Analyse der mittelfristigen betrieblichen Konzepte

Salot, Marion
Elsner, Wolfram
Senator fuer Wirtschaft, Mittelstand, Technologie und Europaangelegenheiten, Bremen (Germany)

January 1996

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, D-21400 Kiel A 214657 / FIZ - Fach...

Nutzung innovativer Projekte im Agenda Prozess: Heizung - Lueftung -Sanitaer Zusammenstellung ausgewaehlter Projekte aus der Datenbank der Deutschen Bundesstiftung Umwelt. CD-ROM vom Mai 2000 sowie weiterer hinzugezogene Quellen

Schefe, W. (comp.)
Optotransmitter Umweltschutz Technologie e.V., Berlin (Germany)

January 2001

Compilation of selected projects from data base of Deutsche Bundesstiftung Umwelt. (orig.)Zusammenst...

Programmkette Kegelradberechnung. Vergleich zwischen rechnerisch ermittelten und gemessenen Zahnfussspannungen Studie: 1985-1987

Stadtfeld, H.
Aachen Technische Hochschule (Germany). Lab. fuer Werkzeugmaschinen und Betriebslehre
Forschungsvereinigung Antriebstechnik e.V., Frankfurt am Main (Germany)
Arbeitsgemeinschaft Industrieller Forschungsvereinigungen e.V., Koeln (Germany)
Bundesministerium fuer Wirtschaft, Bonn (Germany)

January 1988

With 76 figs., 3 tabs., 12 refs.Available from TIB Hannover: RN 3358(262) / FIZ - Fachinformationszz...

Programmentwicklung durch Spezifikation und Transformation Schlussbericht

Krieg-Brueckner, B.
Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik

January 1994

Available from TIB Hannover: D.Dt.F.QN1(19,16) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

KORSO: a methodology for the development of correct software

Betschko, R.
Reif, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Logik, Komplexitaet und Deduktionssysteme)
Hussmann, H. (Technische Univ. Muenchen (Germany). Inst. fuer Informatik)
Broy, M.
Pepper, P.
Dick, S.
Didrich, K.
Faulhaber, J.
Grieskamp, W. (Technische Univ. Berlin (Germany). Fachbereich 13 - Informatik)
Wirsing, M. (eds.)
Mehlich, M. (Muenchen Univ. (Germany). Inst. fuer Informatik)
Bayerisches Forschungszentrum fuer Wissensbasierte Systeme (FORWISS), Passau (Germany)

January 1995

The KORSO project targets, by the use of formal methods, at the enhancement of the quality of softwa...

Korrekte Software (KORSO): Einsatz formaler Techniken bei der objekt-orientierten Software-Entwicklung Abschlussbericht

Goos, G.
Lewerentz, C.
Forschungszentrum Informatik, Karlsruhe (Germany)

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(26,11) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Deutsche Forschungsgemeinschaft. Jahresbericht 1993. Bd. 2 Programme und Projekte

Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1994

Available from TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informatio...

Korrekte Software (KORSO). Teilvorhaben: Formale Beschreibung der Anwendung und Kombination von Programmentwicklungsmethoden Abschlussbericht

Jaehnichen, S.
Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(32,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Korrekte Software (KORSO). Teilvorhaben: Entwicklung zuverlaessiger Informationssysteme Abschlussbericht

Ehrich, H.D.
Gogolla, M.
Conrad, S.
Denker, G.
Herzig, R.
Vlachantonis, N.
Technische Univ. Braunschweig (Germany). Abt. Datenbanken

January 1994

SIGLEAvailable from TIB Hannover: DtF QN1(22,17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Der Transformationsprozess der DDR-Kreditgenossenschaften 1990 bis 1993: Ausmass und Wirkung der Unterstuetzung der BRD-Kreditgenossenschaften und ihrer Verbaende

Metzger, Martin

January 1995

Hohenheim, Univ., Diplomarbeit, 1994Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW...

Foerderkonzepte Abfallwirtschaft und Altlasten zum Programm Umweltforschung und Umwelttechnologie 1989-1994

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

January 1990

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Jugendliche im Transformationsprozess: Vorbedingungen, Probleme und Chancen zur Integration ostdeutscher Jugendlicher im vereinten Deutschland

Seiring, Kerstin

January 1994

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-24105 Kie...

Deutsche Forschungsgemeinschaft. Jahresbericht 1986. Bd. 2 Programme und Projekte

Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1987

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

Zur Transformation funktionaler Programme

Dosch, Walter (Prof.)

January 1990

Zur Transformation funktionaler Programme. - In: Alternative Konzepte für Sprachen und Rechner / Jür...

Der Transformationsprozess in den ostdeutschen Laendern und seine folgen fuer die Gesundheit der Bevoelkerung und ihre Versorgung

Miehlke, Guenter

January 1991

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, Duesternbrook Weg 120, D-24105 Kie...

Bericht ueber die Entwicklung der Konversion im Lande Bremen: Konversionsbericht 1996 ; Branchenerhebung, Projektfoerderung, Analyse der mittelfristigen betrieblichen Konzepte

Salot, Marion
Elsner, Wolfram
Senator fuer Wirtschaft, Mittelstand, Technologie und Europaangelegenheiten, Bremen (Germany)

January 1996

Available from Bibliothek des Instituts fuer Weltwirtschaft, ZBW, D-21400 Kiel A 214657 / FIZ - Fach...

Nutzung innovativer Projekte im Agenda Prozess: Heizung - Lueftung -Sanitaer Zusammenstellung ausgewaehlter Projekte aus der Datenbank der Deutschen Bundesstiftung Umwelt. CD-ROM vom Mai 2000 sowie weiterer hinzugezogene Quellen

Schefe, W. (comp.)
Optotransmitter Umweltschutz Technologie e.V., Berlin (Germany)

January 2001

Compilation of selected projects from data base of Deutsche Bundesstiftung Umwelt. (orig.)Zusammenst...

Programmkette Kegelradberechnung. Vergleich zwischen rechnerisch ermittelten und gemessenen Zahnfussspannungen Studie: 1985-1987

Stadtfeld, H.
Aachen Technische Hochschule (Germany). Lab. fuer Werkzeugmaschinen und Betriebslehre
Forschungsvereinigung Antriebstechnik e.V., Frankfurt am Main (Germany)
Arbeitsgemeinschaft Industrieller Forschungsvereinigungen e.V., Koeln (Germany)
Bundesministerium fuer Wirtschaft, Bonn (Germany)

January 1988

With 76 figs., 3 tabs., 12 refs.Available from TIB Hannover: RN 3358(262) / FIZ - Fachinformationszz...

Programmentwicklung durch Spezifikation und Transformation Schlussbericht

Krieg-Brueckner, B.
Bremen Univ. (Germany). Fachbereich 3 - Mathematik/Informatik

January 1994

Available from TIB Hannover: D.Dt.F.QN1(19,16) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Te...

KORSO: a methodology for the development of correct software

Betschko, R.
Reif, W. (Karlsruhe Univ. (T.H.) (Germany). Inst. fuer Logik, Komplexitaet und Deduktionssysteme)
Hussmann, H. (Technische Univ. Muenchen (Germany). Inst. fuer Informatik)
Broy, M.
Pepper, P.
Dick, S.
Didrich, K.
Faulhaber, J.
Grieskamp, W. (Technische Univ. Berlin (Germany). Fachbereich 13 - Informatik)
Wirsing, M. (eds.)
Mehlich, M. (Muenchen Univ. (Germany). Inst. fuer Informatik)
Bayerisches Forschungszentrum fuer Wissensbasierte Systeme (FORWISS), Passau (Germany)

January 1995

The KORSO project targets, by the use of formal methods, at the enhancement of the quality of softwa...

Programmentwicklung durch Spezifikation und Transformation Bremer Beitraege zum Verbundprojekt KORSO (Korrekte Software). Bd. 2

Abstract

Extracted data

Programmentwicklung durch Spezifikation und Transformation Bremer Beitraege zum Verbundprojekt KORSO (Korrekte Software). Bd. 2

Abstract

Extracted data

Related items

Related items