ASDL - a specification language for syntax-directed environments

Asylrecht in den Niederlanden

Schoenemann (Komp.)
Land Nordrhein-Westfalen Innenministerium, Duesseldorf (Germany)

January 1992

BAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerm...

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

Semantics of programming languages: Using Asf+Sdf

Peter Mosses

January 2013

A semantic specification of a programming language can be relevant for programmers to understand sof...

ASDL - A specification language for syntax-dirtected environments Technical paper

Christ-Neumann, M.L.
Schmidt, H.W.
Schaede, R.
Kraemer, B.
epsilon - Gesellschaft fuer Softwaretechnik und Systementwicklung, Berlin (Germany)
Siemens A.G., Muenchen (Germany)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Systemtechnik

January 1986

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

Developing integrated environments with ASDL

Krämer, B.
Schmidt, H.-W.

January 1989

The authors present the Abstract-Type and Scheme-Definition Language (ASDL), a new formalism and env...

ASDL definition for ADA language

Giovannetti, P.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

In cooperation with Olivetti (C.) and C., S.p.A., Pisa (IT)SIGLECopy held by FIZ Karlsruhe; availabl...

Specifications in the Development Process: An AsmL Demonstration

Mike Barnett
Colin Campbell
Wolfgang Grieskamp
Yuri Gurevich
Lev Nachmanson
Wolfram Schulte
Nikolai Tillmann
Margus Veanes

January 2003

AsmL is a specification system for software modeling, test generation, test validation, and implemen...

ASDL: a wide spectrum language for designing web services

Zedan, Hussein
Cau, A. (Antonio)
Solanki, Monika

May 2006

This paper presents a novel approach to designing Web services using a Wide Spectrum Design Language...

To appear in Software—Practice and Experience. Early Experience with ASDL in lcc

David R. Hanson

February 2008

The Abstract Syntax Description Language (ASDL) is a language for specifying the tree data structure...

Asylbewerberleistungsgesetz (AsylbLG) die sozialrechtliche Dimension des Asyl-Kompromisses

Pro Asyl, Frankfurt am Main (Germany)

January 1993

SIGLEBAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerm...

Wirtschaftlichkeitsbeurteilung von technischen Systemen dargestellt am Beispiel des ASL-Systems

Schlechter, H.
Deutsche Gesellschaft fuer Logistik e.V., Dortmund (Germany). Inst. fuer Logistik

January 1987

SIGLETIB Hannover: RN 6611(35) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Asylrecht in Belgien

Schoenemann (Komp.)
Land Nordrhein-Westfalen Innenministerium, Duesseldorf (Germany)

January 1992

BAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerm...

Semantic essence of AsmL

Gurevich, Yuri
Rossman, Benjamin
Schulte, Wolfram

October 2005

AbstractThe Abstract State Machine Language, AsmL, is a novel executable specification language base...

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

Specification and implementation of asynchronous process communication

Serbedzija, N.B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

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

Asylrecht in den Niederlanden

Schoenemann (Komp.)
Land Nordrhein-Westfalen Innenministerium, Duesseldorf (Germany)

January 1992

BAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerm...

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

Semantics of programming languages: Using Asf+Sdf

Peter Mosses

January 2013

A semantic specification of a programming language can be relevant for programmers to understand sof...

ASDL - A specification language for syntax-dirtected environments Technical paper

Christ-Neumann, M.L.
Schmidt, H.W.
Schaede, R.
Kraemer, B.
epsilon - Gesellschaft fuer Softwaretechnik und Systementwicklung, Berlin (Germany)
Siemens A.G., Muenchen (Germany)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Systemtechnik

January 1986

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

Developing integrated environments with ASDL

Krämer, B.
Schmidt, H.-W.

January 1989

The authors present the Abstract-Type and Scheme-Definition Language (ASDL), a new formalism and env...

ASDL definition for ADA language

Giovannetti, P.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

In cooperation with Olivetti (C.) and C., S.p.A., Pisa (IT)SIGLECopy held by FIZ Karlsruhe; availabl...

Specifications in the Development Process: An AsmL Demonstration

Mike Barnett
Colin Campbell
Wolfgang Grieskamp
Yuri Gurevich
Lev Nachmanson
Wolfram Schulte
Nikolai Tillmann
Margus Veanes

January 2003

AsmL is a specification system for software modeling, test generation, test validation, and implemen...

ASDL: a wide spectrum language for designing web services

Zedan, Hussein
Cau, A. (Antonio)
Solanki, Monika

May 2006

This paper presents a novel approach to designing Web services using a Wide Spectrum Design Language...

To appear in Software—Practice and Experience. Early Experience with ASDL in lcc

David R. Hanson

February 2008

The Abstract Syntax Description Language (ASDL) is a language for specifying the tree data structure...

Asylbewerberleistungsgesetz (AsylbLG) die sozialrechtliche Dimension des Asyl-Kompromisses

Pro Asyl, Frankfurt am Main (Germany)

January 1993

SIGLEBAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerm...

Wirtschaftlichkeitsbeurteilung von technischen Systemen dargestellt am Beispiel des ASL-Systems

Schlechter, H.
Deutsche Gesellschaft fuer Logistik e.V., Dortmund (Germany). Inst. fuer Logistik

January 1987

SIGLETIB Hannover: RN 6611(35) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informa...

Asylrecht in Belgien

Schoenemann (Komp.)
Land Nordrhein-Westfalen Innenministerium, Duesseldorf (Germany)

January 1992

BAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerm...

Semantic essence of AsmL

Gurevich, Yuri
Rossman, Benjamin
Schulte, Wolfram

October 2005

AbstractThe Abstract State Machine Language, AsmL, is a novel executable specification language base...

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

Specification and implementation of asynchronous process communication

Serbedzija, N.B.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1989

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

Asylrecht in den Niederlanden

Schoenemann (Komp.)
Land Nordrhein-Westfalen Innenministerium, Duesseldorf (Germany)

January 1992

BAFl / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerm...

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

Semantics of programming languages: Using Asf+Sdf

Peter Mosses

January 2013

A semantic specification of a programming language can be relevant for programmers to understand sof...

ASDL - a specification language for syntax-directed environments

Abstract

Extracted data

Related items

Related items