Algebraic specification of modules and configuration families

Introduction to algebraic specification in ACT TWO

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

January 1986

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

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

Compatibility problems in the development of algebraic module specifications

Ehrig, H.
Fey, W.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D. (University of Southern California, Los Angeles (United States))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

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

Development, specification and semantics of strictly modular systems

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

January 1983

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

Dynamische Module. Ein Konzept zur effizienten Software-Integration im General Purpose Computer Algebra System MuPAD

Sorgatz, A. (Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 -Mathematik-Informatik)
Paderborn Univ. (Gesamthochschule) (Germany). Sonderforschungsbereich 376 -Massive Parallelitaet, Algorithmen, Entwurfsmethoden, Anwendungen

January 1998

Available from TIB Hannover: RR 6673(56) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

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

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

Nondeterministic algebraic specifications

Hussmann, H.

January 1991

Translation of the author's Ph.D. thesis: 'Nichtdeterministische algebraische Spezifikationen', Pass...

Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen

Reisin, M. (Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik)
Loewe, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

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

Introduction to algebraic specification in ACT TWO

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

January 1986

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

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

Compatibility problems in the development of algebraic module specifications

Ehrig, H.
Fey, W.
Loewe, M. (Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik)
Jacobs, D. (University of Southern California, Los Angeles (United States))
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1989

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

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

Development, specification and semantics of strictly modular systems

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

January 1983

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

Dynamische Module. Ein Konzept zur effizienten Software-Integration im General Purpose Computer Algebra System MuPAD

Sorgatz, A. (Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 -Mathematik-Informatik)
Paderborn Univ. (Gesamthochschule) (Germany). Sonderforschungsbereich 376 -Massive Parallelitaet, Algorithmen, Entwurfsmethoden, Anwendungen

January 1998

Available from TIB Hannover: RR 6673(56) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

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

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

Nondeterministic algebraic specifications

Hussmann, H.

January 1991

Translation of the author's Ph.D. thesis: 'Nichtdeterministische algebraische Spezifikationen', Pass...

Algebraische Spezifikation in UNIVERS am Beispiel der Struktur eines Versionsgraphen

Reisin, M. (Berlin Technische Univ. (Germany). Inst. fuer Angewandte Informatik)
Loewe, M.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

January 1985

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

Introduction to algebraic specification in ACT TWO

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

January 1986

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

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 specification of modules and configuration families

Abstract

Extracted data

Algebraic specification of modules and configuration families

Abstract

Extracted data

Related items

Related items