Ontology-driven software engineering: beyond model checking and transformations (Q4649262)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6109244
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7461284399032593
0 references
0.7023710012435913
0 references
0.7009288668632507
0 references
0.6925287246704102
0 references
0.6863605976104736
0 references
