- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Reference architectures modelling and compliance checking ; day:6 ; month:8 ; year:2022 ; pages:1-27
Software and systems modeling ; (6.8.2022), 1-27
- Creator
-
Bucaioni, Alessio
Di Salle, Amleto
Iovino, Ludovico
Malavolta, Ivano
Pelliccione, Patrizio
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-022-01022-z
- URN
-
urn:nbn:de:101:1-2022102119004972685919
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:25 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
- Bucaioni, Alessio
- Di Salle, Amleto
- Iovino, Ludovico
- Malavolta, Ivano
- Pelliccione, Patrizio
- SpringerLink (Online service)
Other Objects (12)
Checking security compliance between models and code
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS
Sustainable structures in software implementations by live compliance checking
Protocol conformance checking of component-based systems and service-oriented architectures
Formal Framework for Checking Compliance of Data-Driven Case Management
A method for developing Reference Enterprise Architectures
Enterprise modelling and information systems architectures
Automated code compliance checking research based on BIM and knowledge graph
SeaFlows - a compliance checking framework for supporting the process lifecycle
Reference architectures for MLOps : a comparative case study
Improving conformance checking in process modelling: a multiperspective algorithm
Liveness checking as safety checking
Checking security compliance between models and code
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS
Sustainable structures in software implementations by live compliance checking
Protocol conformance checking of component-based systems and service-oriented architectures
Formal Framework for Checking Compliance of Data-Driven Case Management
A method for developing Reference Enterprise Architectures
Enterprise modelling and information systems architectures
Automated code compliance checking research based on BIM and knowledge graph
SeaFlows - a compliance checking framework for supporting the process lifecycle
Reference architectures for MLOps : a comparative case study
Improving conformance checking in process modelling: a multiperspective algorithm
Liveness checking as safety checking
Checking security compliance between models and code
ONTOLOGY-BASED RULE COMPLIANCE CHECKING FOR SUBSURFACE OBJECTS
Sustainable structures in software implementations by live compliance checking
Protocol conformance checking of component-based systems and service-oriented architectures
Formal Framework for Checking Compliance of Data-Driven Case Management
A method for developing Reference Enterprise Architectures
Enterprise modelling and information systems architectures
Automated code compliance checking research based on BIM and knowledge graph
SeaFlows - a compliance checking framework for supporting the process lifecycle
Reference architectures for MLOps : a comparative case study
Improving conformance checking in process modelling: a multiperspective algorithm