The SEGRAS specification language: Conceptual overview

Specification-oriented semantics for communicating processes

Olderog, E.R.
Hoare, C.A.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

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

Standardisierung von Aussenknoechelbandlaesionen

Ryll, H.

January 1981

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

SEGRAS - the GRASPIN specification language - preliminary reference manual

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

January 1986

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

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

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

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

January 1984

SIGLETIB: RA 2775 (93) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Interactive graphical specification in a syntax-directed environment: The SEGRAS-Lab experience

Kraemer, B. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). 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...

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

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

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

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

Systemanalyse und Technikfolgenabschaetzung

Arbeitsgemeinschaft der Grossforschungseinrichtungen (AGF), Bonn (Germany)

January 1987

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

Specification-oriented programming in TCSP

Olderog, E.R.
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

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

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

Untersuchungen ueber 'Selensulfid'

Eschmann-Hoffmann, D.

January 1981

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

Specification-oriented semantics for communicating processes

Olderog, E.R.
Hoare, C.A.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

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

Standardisierung von Aussenknoechelbandlaesionen

Ryll, H.

January 1981

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

SEGRAS - the GRASPIN specification language - preliminary reference manual

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

January 1986

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

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

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

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

January 1984

SIGLETIB: RA 2775 (93) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbib...

Interactive graphical specification in a syntax-directed environment: The SEGRAS-Lab experience

Kraemer, B. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). 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...

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

Implementation specifications

Beierle, C.
Voss, A.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

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

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

Systemanalyse und Technikfolgenabschaetzung

Arbeitsgemeinschaft der Grossforschungseinrichtungen (AGF), Bonn (Germany)

January 1987

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

Specification-oriented programming in TCSP

Olderog, E.R.
Kiel Univ. (Germany, F.R.). Inst. fuer Informatik und Praktische Mathematik

January 1984

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

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

Untersuchungen ueber 'Selensulfid'

Eschmann-Hoffmann, D.

January 1981

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

Specification-oriented semantics for communicating processes

Olderog, E.R.
Hoare, C.A.R.
Kiel Univ. (Germany). Inst. fuer Informatik und Praktische Mathematik

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

Standardisierung von Aussenknoechelbandlaesionen

Ryll, H.

January 1981

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

The SEGRAS specification language: Conceptual overview

Abstract

Extracted data

The SEGRAS specification language: Conceptual overview

Abstract

Extracted data

Related items

Related items