- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Reusable specification templates for defining dynamic semantics of DSLs ; day:21 ; month:3 ; year:2017 ; pages:1-30
Software and systems modeling ; (21.3.2017), 1-30
- Klassifikation
-
Informatik
- Urheber
-
Tikhonova, Ulyana
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-017-0590-0
- URN
-
urn:nbn:de:1111-201704102295
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:56 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Tikhonova, Ulyana
- SpringerLink (Online service)
Ähnliche Objekte (12)
Precise Capillary‐Assisted Nanoparticle Assembly in Reusable Templates
Specification and semantics : 08.07. - 12.07.96
Object coordination nets 3.0, [...]. Semantics specification
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
DCL 2.0: modular and reusable specification of architectural constraints
Methods for semantics and specification : 05.06. - 09.06.95
Defining domain specific operational semantics for activity diagrams
Defining the execution semantics of stream processing engines
Fundamentals of algebraic specification, 1.. Equations and initial semantics
The coalgebraic class specification language CCSL : syntax and semantics
Team semantics for the specification and verification of hyperproperties
Precise Capillary‐Assisted Nanoparticle Assembly in Reusable Templates
Specification and semantics : 08.07. - 12.07.96
Object coordination nets 3.0, [...]. Semantics specification
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
DCL 2.0: modular and reusable specification of architectural constraints
Methods for semantics and specification : 05.06. - 09.06.95
Defining domain specific operational semantics for activity diagrams
Defining the execution semantics of stream processing engines
Fundamentals of algebraic specification, 1.. Equations and initial semantics
The coalgebraic class specification language CCSL : syntax and semantics
Team semantics for the specification and verification of hyperproperties
Precise Capillary‐Assisted Nanoparticle Assembly in Reusable Templates
Specification and semantics : 08.07. - 12.07.96
Object coordination nets 3.0, [...]. Semantics specification
Specification-oriented semantics for communicating processes
Process theory: semantics, specification and verification
DCL 2.0: modular and reusable specification of architectural constraints
Methods for semantics and specification : 05.06. - 09.06.95
Defining domain specific operational semantics for activity diagrams
Defining the execution semantics of stream processing engines
Fundamentals of algebraic specification, 1.. Equations and initial semantics
The coalgebraic class specification language CCSL : syntax and semantics