Variability in UML language and semantics Bernhard RumpeRobert France Editorial 28 August 2011 Pages: 439 - 440
UML formal semantics: lessons learned Manfred BroyMaría Victoria Cengarle Expert's Voice 23 June 2011 Pages: 441 - 446
Rigorous identification and encoding of trace-links in model-driven engineering Richard F. PaigeNikolaos DrivalosSteffen Zschaler Regular Paper 09 March 2010 Pages: 469 - 487
The many meanings of UML 2 Sequence Diagrams: a survey Zoltán MicskeiHélène Waeselynck Regular Paper 11 April 2010 Pages: 489 - 514
An executable object-oriented semantics and its application to firewall verification Kenro YatakeTakuya Katayama Regular Paper Open access 01 April 2010 Pages: 515 - 536
Model-driven generative development of measurement software Martin MonperrusJean-Marc JézéquelBrigitte Hoeltzener Regular Paper 13 June 2010 Pages: 537 - 552
Model-based qualitative risk assessment for availability of IT infrastructures Emmanuele ZambonSandro EtallePieter Hartel Regular Paper Open access 22 June 2010 Pages: 553 - 580