Some algebraic concepts of the specification language SEGRAS and their initial semantics

Characterizing specification languages which admit initial semantics

Mahr, B.
Makowsky, J.A.

December 1984

AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...

The TECTON concept library

Musser, D.R.
Schupp, S.
Schwarzweller, C.
Loos, R.
Tuebingen Univ. (Germany). Wilhelm-Schickard-Inst. fuer Informatik

January 1999

TECTON is an algebraic specification language. This report contains a considerable body of TECTON co...

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

The SEGRAS specification language: Conceptual overview

Kraemer, B.
Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

Denotational semantics of algebraic specification languages

Wirsing, M.
Passau Univ. (Germany). Fakultaet fuer Mathematik und Informatik

January 1985

SIGLETIB: RA 7759(8501) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Algebraic specifications of computable and semicomputable data types

Bergstra, J.A.
Tucker, J.V.

December 1987

AbstractAn extensive survey is given of the properties of various specification mechanisms based on ...

The SEGRAS syntax

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), Darmstadt (Germany). Inst. fuer Systemtechnik)
Kraemer, B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

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

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

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

Interactive graphical specification in a syntax-directed environment: The SEGRAS - Lab Experience Technical paper

Kraemer, B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)
Siemens A.G., Muenchen (Germany)

January 1986

TIB: AC 9076 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...

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

Characterizing specification languages which admit initial semantics

Mahr, B.
Makowsky, J.A.

December 1984

AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...

The TECTON concept library

Musser, D.R.
Schupp, S.
Schwarzweller, C.
Loos, R.
Tuebingen Univ. (Germany). Wilhelm-Schickard-Inst. fuer Informatik

January 1999

TECTON is an algebraic specification language. This report contains a considerable body of TECTON co...

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

The SEGRAS specification language: Conceptual overview

Kraemer, B.
Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

Some algebraic concepts of a Petri-net based specification language and their initial semantics

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.). Inst. fuer Systemtechnik)
Kreowski, H.J. (Bremen Univ. (Germany, F.R.). Fachbereich Mathematik und Informatik)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn, St. Augustin (Germany, F.R.)

January 1983

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

Denotational semantics of algebraic specification languages

Wirsing, M.
Passau Univ. (Germany). Fakultaet fuer Mathematik und Informatik

January 1985

SIGLETIB: RA 7759(8501) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...

Algebraic specifications of computable and semicomputable data types

Bergstra, J.A.
Tucker, J.V.

December 1987

AbstractAn extensive survey is given of the properties of various specification mechanisms based on ...

The SEGRAS syntax

Schmidt, H.W. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), Darmstadt (Germany). Inst. fuer Systemtechnik)
Kraemer, B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1985

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

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

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

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

Interactive graphical specification in a syntax-directed environment: The SEGRAS - Lab Experience Technical paper

Kraemer, B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)
Siemens A.G., Muenchen (Germany)

January 1986

TIB: AC 9076 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIG...

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

Characterizing specification languages which admit initial semantics

Mahr, B.
Makowsky, J.A.

December 1984

AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions ...

The TECTON concept library

Musser, D.R.
Schupp, S.
Schwarzweller, C.
Loos, R.
Tuebingen Univ. (Germany). Wilhelm-Schickard-Inst. fuer Informatik

January 1999

TECTON is an algebraic specification language. This report contains a considerable body of TECTON co...

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

Some algebraic concepts of the specification language SEGRAS and their initial semantics

Abstract

Extracted data

Some algebraic concepts of the specification language SEGRAS and their initial semantics

Abstract

Extracted data

Related items

Related items