Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science - Germany
doi 10.1007/11693017_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Compliance Verification of a Design Model With Respect to Its Specification Model in the Context of Software Defined Radios : A Model Transformation Approach

English

Detection of Metamorphic and Virtualization-Based Malware Using Algebraic Specification

Journal in Computer Virology
2008English

Algebraic Transformation of Descriptive Vector Byte-Code Sequences

2016English

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

1998English

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Specification a Model for Study of Symbolic Processualism

Interconectando Saberes
2020English

A Visual Specification Language for Model-To-Model Transformations

2010English

An Alphard Specification of a Correct and Efficient Transformation on Data Structures

IEEE Transactions on Software Engineering
Software
1980English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy