- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
-
Tikhonova, Ulyana
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-017-0590-0
- URN
-
urn:nbn:de:1111-201704102295
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tikhonova, Ulyana
- SpringerLink (Online service)
Other Objects (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