ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS (Q4649262)
From MaRDI portal
scientific article; zbMATH DE number 6109244
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS |
scientific article; zbMATH DE number 6109244 |
Statements
ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS (English)
0 references
21 November 2012
0 references
ontology-driven software engineering
0 references
model-driven engineering
0 references
component metadata
0 references
software composition
0 references
model checking
0 references
