Meta-model

Mapping SPARQL Query to temporal logic query based on NμSMV Model Checker to Query Semantic Graphs

Model Checking / Semantic Web / Meta-model / Temporal Logic

ENIO: An Enterprise Application Integration Ontology

Enterprise Application Integration / Meta-model / Service discovery

AI analysis patterns as UML meta-model constructs

Knowledge Management in Software Engineering / Knowledge Modeling / Meta-model / Design Pattern

Bricolage and Model Driven Approach to design distant course

Participatory Design / Meta-model

Bricolage and Model Driven Approach to design distant course

Participatory Design / Meta-model

Business Processes and Rules An eGovernment CaseStudy

Public Administration / Modeling Language / Case Study / Meta-model / Business rules / Business Process / Model System / Business Process / Model System

Incremental Consistency Checking of Dynamic Constraints

Software Design / Language Use / Dynamic Software Adaptation / Meta-model / Consistency Checking

Copyright © 2017 DATOSPDF Inc.