- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1678-4804
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
DCL 2.0: modular and reusable specification of architectural constraints ; volume:23 ; number:1 ; day:16 ; month:8 ; year:2017 ; pages:1-25 ; date:12.2017
Journal of the Brazilian Computer Society / Sociedade Brasileira de Computação ; 23, Heft 1 (16.8.2017), 1-25, 12.2017
- Urheber
-
Rocha, Henrique
- Beteiligte Personen und Organisationen
-
Durelli, Rafael Serapilha
Terra, Ricardo
Bessa, Sândalo
Valente, Marco Tulio
SpringerLink (Online service)
- DOI
-
10.1186/s13173-017-0061-z
- URN
-
urn:nbn:de:1111-201710301599
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:32 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
- Rocha, Henrique
- Durelli, Rafael Serapilha
- Terra, Ricardo
- Bessa, Sândalo
- Valente, Marco Tulio
- SpringerLink (Online service)
Ähnliche Objekte (12)
Specification of modular systems
Reusable specification templates for defining dynamic semantics of DSLs
Architectural Constraints of Normalizing Flows
Modular specification of process algebras
Modular language specification and composition
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Architectural constraints on learning and memory function
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular constraints on superconformal field theories
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification of modular systems
Reusable specification templates for defining dynamic semantics of DSLs
Architectural Constraints of Normalizing Flows
Modular specification of process algebras
Modular language specification and composition
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Architectural constraints on learning and memory function
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular constraints on superconformal field theories
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Specification of modular systems
Reusable specification templates for defining dynamic semantics of DSLs
Architectural Constraints of Normalizing Flows
Modular specification of process algebras
Modular language specification and composition
Algebraic theory of modular specification development
Algebraic specification concepts for modular systems
Architectural constraints on learning and memory function
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Modular constraints on superconformal field theories
Modular specification and verification of object oriented programs