Suggestions on the operational semantics of algebraic specifications

Algebraic domain equations for specifications containing inequational axioms

Kruetzer, G.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

Algebraic domain equations

Ehrich, H.D.
Lipeck, U.
Dortmund Univ. (Germany). Abt. Informatik

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

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

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

Algebraic data type and process specifications based on projection spaces

Ehrig, H.
Boehm, P.
Rieckhoff, C.
Dimitrovici, C.
Grosse-Rohde, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
L'Aquila 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...

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

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

A storage management system - an example for an algebraic specification and its proof techniques

Hummert, U.
Werner, K.J.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

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

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 domain equations for specifications containing inequational axioms

Kruetzer, G.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

Algebraic domain equations

Ehrich, H.D.
Lipeck, U.
Dortmund Univ. (Germany). Abt. Informatik

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

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

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

Algebraic data type and process specifications based on projection spaces

Ehrig, H.
Boehm, P.
Rieckhoff, C.
Dimitrovici, C.
Grosse-Rohde, M. (Berlin Technische Univ. (Germany). Inst. fuer Software und Theoretische Informatik)
Parisi-Presicce, F. (University of Southern California, Los Angeles (United States)
L'Aquila 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...

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

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

A storage management system - an example for an algebraic specification and its proof techniques

Hummert, U.
Werner, K.J.
Berlin Technische Univ. (Germany). Fachbereich 20 - Informatik

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

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 domain equations for specifications containing inequational axioms

Kruetzer, G.
Kaiserslautern Univ. (Germany, F.R.). Fachbereich Informatik

January 1984

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

Algebraic domain equations

Ehrich, H.D.
Lipeck, U.
Dortmund Univ. (Germany). Abt. Informatik

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

Suggestions on the operational semantics of algebraic specifications

Abstract

Extracted data

Suggestions on the operational semantics of algebraic specifications

Abstract

Extracted data

Related items

Related items