Back to Results
First PageMeta Content
Graph rewriting / Software development / Theoretical computer science / Graph theory / Object Constraint Language / Transformation language / Metamodeling / Model transformation / Predicate transformer semantics / Unified Modeling Language / Systems engineering / Software engineering


Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation Elie Richa1,2 , Etienne Borde1 , Laurent Pautet1 Matteo Bordin2 , and José F. Ruiz2 1
Add to Reading List

Document Date: 2014-10-09 10:02:01

Open Document

File Size: 682,42 KB

Share Result on Facebook

City

Outport / Inport / Berlin / /

Company

Section 3 / Laurent Pautet1 Matteo Bordin2 / Etienne Borde1 / José F. Ruiz2 1 Institut Telecom / /

Country

France / /

/

Event

Product Recall / Product Issues / /

IndustryTerm

control algorithms / industrial software quality standards / satisfaction technologies / computing / model-based tools / model transformation tools / software application / avionics applications / /

Position

guard / General / /

Product

main concepts of ATL / /

ProgrammingLanguage

Ada / Model Transformation / Object Constraint Language / C / Simulink / /

ProvinceOrState

Minnesota / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

Constraint satisfaction technologies / control algorithms / /

URL

http /

SocialTag