Temat: transformation languages - Wspólny katalog bibliotek Konsorcjum Akademickiego

Skocz do pozycji: 1.

Tytuł:: A Formal and Unified Description of XML Manipulation Languages
Autorzy:: Hidders, J.
Paredaens, J.
Tematy:: formal semantics
semistructured data
transformation languages
XML
XPath
XQuery
XSLT; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Skocz do pozycji: 2.

Tytuł:: Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa transformacji
Production of information services using the concept of domain modeling : construction of transformation
Autorzy:: Kosior, A.
Stasiak, A.
Dąbrowski, W.
Tematy:: transformacje
M2M
M2T
T2M
JET
języki opisu transformacji
ATL
QVT
Tefkat
model mapowań
Model Type Mapping
Model Instance Mapping
mapa powiązań
transformations
description of transformation languages
mapping model
Mapping Model Instance
connections map; Pokaż więcej
Data publikacji:: 2012
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa transformacji
Production of information services using the concept of domain modeling : construction of transformation
Autorzy:: Kosior, A.
Stasiak, A.
Dąbrowski, W.
Tematy:: transformacje
M2M
M2T
T2M
JET
języki opisu transformacji
ATL
QVT
Tefkat
model mapowań
Model Type Mapping
Model Instance Mapping
mapa powiązań
transformations
description of transformation languages
mapping model
Mapping Model Instance
connections map; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Skocz do pozycji: 4.

Tytuł:: On the Need of Innovation in Teacher Training
Autorzy:: Petlák, Erich
Pokrivčáková, Silvia
Tematy:: school transformation
external transformation of education
new tasks in teacher training
teacher’s individual concept of teaching
knowledge integration
immigrant education
languages teaching
parents requirements; Pokaż więcej
Data publikacji:: 2005-03-31
Wydawca:: Wydawnictwo Adam Marszałek
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

Tytuł:: The Impact of seq on Free Theorems-Based Program Transformations
Autorzy:: Johann, P.
Voigtländer, J.
Tematy:: Haskell
control primitives
correctness proofs
denotational semantics
functional programming languages
logical relations
mixing strict and nonstrict evaluation
parametricity
polymorphism
program transformation
rank - 2 types
short cut fusion
theorems for free; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Informacja