ACT TWO: an algebraic module specification and interconnection language

Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Matheis, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

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

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

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

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

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

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

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 specification of modules and their basic interconnections

Blum, E.K.
Ehrig, H.
Parisi-Presicce, F.

June 1987

AbstractAn algebraic specification concept for modules in software engineering is introduced which i...

Some initial sections of the algebraic-specification tale

Kreowski, H.J.
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1987

SIGLETIB Hannover: RO 802(1987,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques

Hartmut Ehrig (Editor)
Lars Frantzen
Jennifer Tenzer
Daniel Parnitzke
Markus Klein
Andreas Simon
Ulrich Wagner
Benjamin Braatz

January 2001

This technical report consists of ve separate contributions within the areas of algebraic module spe...

Introduction to algebraic specifications based on the language ACT ONE

Meer, J.B. de
Roth, R.
Vuong, S.

January 1991

The tutorial will give an introduction to algebraic methods for system specifications. It will expla...

Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Matheis, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

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

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

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

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

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

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

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 specification of modules and their basic interconnections

Blum, E.K.
Ehrig, H.
Parisi-Presicce, F.

June 1987

AbstractAn algebraic specification concept for modules in software engineering is introduced which i...

Some initial sections of the algebraic-specification tale

Kreowski, H.J.
Bremen Univ. (Germany). Fachbereich 3 - Studiengang Mathematik/Informatik

January 1987

SIGLETIB Hannover: RO 802(1987,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Info...

From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques

Hartmut Ehrig (Editor)
Lars Frantzen
Jennifer Tenzer
Daniel Parnitzke
Markus Klein
Andreas Simon
Ulrich Wagner
Benjamin Braatz

January 2001

This technical report consists of ve separate contributions within the areas of algebraic module spe...

Introduction to algebraic specifications based on the language ACT ONE

Meer, J.B. de
Roth, R.
Vuong, S.

January 1991

The tutorial will give an introduction to algebraic methods for system specifications. It will expla...

Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische Spezifikationen. Bd. 1

Matheis, H.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

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

ACT TWO: an algebraic module specification and interconnection language

Abstract

Extracted data

ACT TWO: an algebraic module specification and interconnection language

Abstract

Extracted data

Related items

Related items