Skip to search formSkip to main contentSkip to account menu

Tefkat

Tefkat is a Model Transformation Language and a model transformation engine. The language is based on F-logic and the theory of stratified logic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
EclipseEclipse Modeling FrameworkF-logicLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Model-Driven Method for Performance Testing
Performance testing is an aspect of software testing which evaluates the behaviour of a system under certain workload. It becomes… 
2018
2018
Model to Model Transformation for Declarative Models
— In Model Driven Architecture (MDA), model and meta-model are the primary artifacts. In this work, a detailed analysis of the… 
2013
2013
Applying Mutation Testing to ATL Specifications: An Experimental Case Study
Mutation testing is a well-established fault-based technique for assessing and improving the quality of test suites. In order to… 
2011
2011
Konzept Und Implementierung Einer Sprache Zur Model-to-model Transformation
. ............................................................................................................................. 2… 
2009
2009
TUDOOR - Ein Java Adapter für Telelogic DOORS.
Im Bereich des Requirements Engineering hat sich DOORS® der Firma Telelogic als Marktführer durchgesetzt. Externe Applikationen… 
2008
2008
Operation Composition in Model Transformations with Complex Source Patterns
In model transformations, rules handle mapping between source metamodel elements and target metamodel elements. There are cases… 
2006
2006
Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
W1 - OCL.- Tool Support for OCL and Related Formalisms - Needs and Trends.- Lessons Learned from Developing a Dynamic OCL… 
2005
2005
An MDA Approach Towards Integrating Formal and Informal Modeling Languages
The Model Driven Architecture (MDA) involves automated trans-formations between software models defined in different languages at… 
2005
2005
Génération automatique de tests pour les transformations de modèles.
Dans l’ingénierie des modèles, les transformations de modèles représentent un élément essentiel pour la réutilisation. Il est… 
2005
2005
A Graphical Specification of Model Transformations with Triple Graph Grammars
Models and model transformations are the core concepts of OMG’s MDATM approach. Within this approach, most models are derived… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)