|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A systematic approach to generate B preconditions: application to the database domain |
Mammar, Amel |
2008 |
8 | 3 |
p. 385-401 |
article |
|
| 2 | Generating relational database transactions from eb3 attribute definitions |
Gervais, Frédéric |
2008 |
8 | 3 |
p. 423-445 |
article |
|
| 3 | Guest editorial to the special section on model transformation |
Bézivin, Jean |
2008 |
8 | 3 |
p. 303-304 |
article |
|
| 4 | Information science and the logic of models |
Mahr, Bernd |
2009 |
8 | 3 |
p. 365-383 |
article |
|
| 5 | Model transformation by example using inductive logic programming |
Balogh, Zoltán |
2008 |
8 | 3 |
p. 347-364 |
article |
|
| 6 | Modularization of model transformations through a phasing mechanism |
Cuadrado, Jesús Sánchez |
2008 |
8 | 3 |
p. 325-345 |
article |
|
| 7 | Towards an integrated graph-based semantics for UML |
Kuske, Sabine |
2008 |
8 | 3 |
p. 403-422 |
article |
|
| 8 | Towards the efficient development of model transformations using model weaving and matching transformations |
Didonet Del Fabro, Marcos |
2008 |
8 | 3 |
p. 305-324 |
article |
8 results found