The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applicat...

Formal Methods for Open Object-Based Distributed Systems V brings together research in three impo...

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th b...

This book constitutes the proceedings of the 17th International Conference on Fundamental Approac...

Graphs are among the simplest and most universal models for a variety of s- tems, not just in com...

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for...

This book constitutes the refereed proceedings of the 11th International Conference on Model Tran...

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60t...

The ?fth edition of the European Conference on Model-Driven Architecture Foundations and Applicat...

Formal Methods for Open Object-Based Distributed Systems V brings together research in three impo...

Formal Methods for Open Object-Based Distributed Systems V brings together research in three impo...