Compatibility problems in the development of algebraic module specifications

Program development in an algebraic setting

Pepper, P.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1992

SIGLEAvailable from TIB Hannover: RN 2856(1992-41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

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...

Abstract modules

Kroeger, F.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1986

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

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

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...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Suggestions on the operational semantics of algebraic specifications

Hasler, K.P.
Kreowski, H.J.
Loewe, M.
Reisin, M.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

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...

Compatibility problems in the development of algebraic module specifications

Ehrig, Hartmut
Fey, Werner
Hansen, Horst
Löwe, Michael
Jacobs, Dean
Parisi-Presicce, Francesco

December 1990

AbstractAlgebraic theory provides a framework for the specification and design of modules and modula...

Algebraic specification of modules

Ehrig, H.
Weber, H.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

To appear in Proc. Formal Models in Programming, Wien 1985TIB: RN 4237 (190) / FIZ - Fachinformation...

ACT TWO: an algebraic module specification and interconnection language

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1992

SIGLEAvailable from TIB Hannover: RN2856(1992,33) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Concatenation of program modules

Krause, M.
Kreczmar, A.
Langmaack, H.
Warpechowski, M.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1987

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

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...

Projection module specifications and their basic interconnections

Dimitrovici, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

Program development in an algebraic setting

Pepper, P.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1992

SIGLEAvailable from TIB Hannover: RN 2856(1992-41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

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...

Abstract modules

Kroeger, F.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1986

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

Algebraic specification concepts for modular systems

Boehm, P.
Ehrig, H.
Hasler, K.P. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Weber, H. (Dortmund Univ. (Germany))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1986

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

Algebraic specification of modules and modular software systems within the framework of specification logics

Ehrig, H.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

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...

Algebraic specification of modules and configuration families

Ehrig, H.
Fey, W.
Hansen, H.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D.
Langen, A. (California Univ., Los Angeles (United States))
Parisi-Presicce, F. (L'Aquila Univ. (Italy))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1988

SIGLEAvailable from TIB Hannover: RN 2856(88-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Suggestions on the operational semantics of algebraic specifications

Hasler, K.P.
Kreowski, H.J.
Loewe, M.
Reisin, M.
Technische Univ. Berlin (Germany, F.R.). Fachbereich 20 - Informatik

January 1983

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

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...

Compatibility problems in the development of algebraic module specifications

Ehrig, Hartmut
Fey, Werner
Hansen, Horst
Löwe, Michael
Jacobs, Dean
Parisi-Presicce, Francesco

December 1990

AbstractAlgebraic theory provides a framework for the specification and design of modules and modula...

Algebraic specification of modules

Ehrig, H.
Weber, H.
Dortmund Univ. (Germany). Fachbereich Informatik

January 1985

To appear in Proc. Formal Models in Programming, Wien 1985TIB: RN 4237 (190) / FIZ - Fachinformation...

ACT TWO: an algebraic module specification and interconnection language

Fey, W.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1992

SIGLEAvailable from TIB Hannover: RN2856(1992,33) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Concatenation of program modules

Krause, M.
Kreczmar, A.
Langmaack, H.
Warpechowski, M.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

January 1987

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

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...

Projection module specifications and their basic interconnections

Dimitrovici, C.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

Program development in an algebraic setting

Pepper, P.
Bundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)

January 1992

SIGLEAvailable from TIB Hannover: RN 2856(1992-41) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

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...

Abstract modules

Kroeger, F.
Muenchen Technische Univ. (Germany). Inst. fuer Informatik

January 1986

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

Compatibility problems in the development of algebraic module specifications

Abstract

Extracted data

Compatibility problems in the development of algebraic module specifications

Abstract

Extracted data

Related items

Related items